And once you're confortable with FSM's, you might try Abstract, State Machines (... | Hacker News

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

nickpsecurity on Feb 26, 2018 | parent | context | favorite | on: How I Learned to Stop Worrying and Love the State ...

And once you're confortable with FSM's, you might try Abstract, State Machines (ASM's) for formally specifying or verifying software:

http://www.di.unipi.it/~boerger/Papers/Methodology/BcsFacs07...

Microsoft even had a gool, AsmL, for this method. TLA's PlusCal specs look similar to some Ive seen in ASM's, too.

metalliqaz on Feb 26, 2018 [–]

Microsoft has the best gools.

mcguire on Feb 27, 2018 | [–]

Microsoft has the only gools.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact