Alloy Community

User login

rseater

Home ยป User account
rseater's picture

info

Name
Rob Seater
Role
researcher
Location
MIT Lincoln Labs, Lexington MA

History

Member for
1 year 43 weeks

Recent Activities
Forum topicTranslation Capacity rseater22 weeks 5 days ago
Forum topicmodule system + visualization [PENDING] rseater23 weeks 3 days ago
Forum topicTabs for multiple model files [PENDING] rseater23 weeks 3 days ago
Forum topicconcisely naming a point in time rseater24 weeks 3 hours ago
Forum topicconditional expressions rseater24 weeks 3 hours ago
PublicationCore Extraction and Non-Example Generation: Debugging and Understanding Logical Models rseater1 year 17 weeks ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte