It seems like you could perhaps write a translator from ACE to TLA+ or another s... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		schoen on Sept 12, 2019 \| parent \| context \| favorite \| on: Attempto Controlled English It seems like you could perhaps write a translator from ACE to TLA+ or another specification language https://en.wikipedia.org/wiki/TLA%2B and formally verify properties (but perhaps that's something that the ACE developers already do).

mmastrac on Sept 12, 2019 [–]

That would be very interesting. I couldn't find any references to TLA+ and ACE together, so it might be a novel area of research.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact