Skip to content

MCTK v0.1.1

Latest
Latest
Compare
Choose a tag to compare
@marcusm117 marcusm117 released this 01 Jul 02:55
v0.1.1
355a2c5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

What's in v0.1.1?

  1. More Friendly UX for adding states to a Kripke Structure
  2. More Secure Kripke Structure class
  3. More Efficient Explicit-State Model Checking functions

Full Changelog: https://github.com/marcusm117/mctk/commits/v0.1.1

What's next?

  1. CTL Formula Parser
  2. More Friendly UX for Explicit-State Model Checking
  3. BDD (Binary Decision Diagram) class for Symbolic Model Checking
Assets 2
Loading