[klee-dev] model checking options

Jeroen Meijer jjgmeijer at gmail.com
Thu Aug 22 08:00:09 BST 2024


Does klee have any built-in model checking options? Like deadlock
detection, or perhaps checking for some basic linear-time properties (such
as "I never want to see a particular sequence of function calls")?
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list