2 ms·
It seems like you could perhaps write a translator from ACE to TLA+ or another specification language https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia
by schoen 7y ago
It seems like you could perhaps write a translator from ACE to TLA+ or another specification language
https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
and formally verify properties (but perhaps that's something that the ACE developers already do).
- mmastrac 7y agoThat would be very interesting. I couldn't find any references to TLA+ and ACE together, so it might be a novel area of research.