Skip to content

v2.0.0
Compare
Choose a tag to compare
@hajduakos hajduakos released this 03 Sep 10:22
· 3211 commits to master since this release
v2.0.0
d13123f
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.

This major release adds a new formalism, the eXtended Symbolic Transition System (XSTS), including a textual DSL, analysis modules and a command-line tool running CEGAR-based analyses. The XSTS formalism is a backend to the Gamma Statechart Composition Framework, where it can analyze reachability queries over collaborating state machines. Note that the XSTS formalism and related projects are still experimental, major changes and improvements are expected. Big thanks to @mondokm @grbeni @vincemolnar

Assets 6
Loading