Gallery

Snippets and recipes showing more advanced usage of BoNesis.

Simple examples

• Toy example on reachability, fixed point, and mutant

Specific dynamical properties

• Declare asynchronous transitions