News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment

Re:Introduction to TLA+ Model Checking in the Command Line by mcguire on Friday January 18, 2019 @11:00AM (#18940162)
Frama-C is similar; every one says to use the gui, but I find it horrible and just use the command line while feeling like a cave man.
[ Parent | on HN ]

There are no comments on this comment yet.