Symbolica's open-source symbolic execution engine.
A Python package for automata theory.
A Mathematica package for generating symbolic models from data
Specify and synthesize systems using symbolic algorithms
Type-safe modelling DSL, symbolic transformation, and code generation fo...
A symbolic model checker for Dynamic Epistemic Logic.