Skip to content

POMC v2.2.0

Choose a tag to compare

View all tags
@michiari michiari released this 02 Aug 12:19
· 44 commits to master since this release
v2.2.0
7d03d99
This commit was signed with the committer’s verified signature.
michiari Michele Chiari
SSH Key Fingerprint: Wm0x4YGBhIi5evO9Oe8P3z27MmQuGzBXM+n9lrw9FG0
Verified
Learn about vigilant mode.

Changelog

  • Add SMT-based model checking engine (only for finite-word model checking)
  • MiniProc expressions can now be embedded in POTL formulas as atomic propositions
  • Better logging infrastructure
  • Bug fixes and performance improvements
  • More tests and benchmarks
Assets 2
Loading