reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Dudoladov, Sergey" <sergey.dudola...@tu-berlin.de>
Subject Re: Formal methods for REEF?
Date Thu, 14 Apr 2016 13:05:06 GMT
> TLA+ seems like a framework for that sort of task.

Alloy *may be* another option. Skim http://alloy.mit.edu

Regards,
Sergey
Mime
View raw message