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
4 years 3 weeks

Recent Activities
Forum topicTranslation Capacity rseater2 years 34 weeks ago
Forum topicmodule system + visualization [PENDING] rseater2 years 35 weeks ago
Forum topicTabs for multiple model files [PENDING] rseater2 years 35 weeks ago
Forum topicconcisely naming a point in time rseater2 years 35 weeks ago
Forum topicconditional expressions rseater2 years 35 weeks ago
PublicationCore Extraction and Non-Example Generation: Debugging and Understanding Logical Models rseater3 years 28 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