folks I know model checking is cool and all but you can’t just keep calling otherwise-unrelated probabilistic model-checkers “COOL-MC” https://t.co/SE1G7CnwTB

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Software

View Post: https://x.com/davidad/status/1776720941344596307