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.

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