A collection of postmortems. Sorry for the delay in merging PRs!

Work on IMITATOR library v2

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

A prototype model checker for timed automata written in OCaml

The Ren'Py Visual Novel Engine

An efficient implementation of the Double Description Method

Compile MITL formula to Timed-automata for UPPAAL

A little Python script to collect LaTeX sources for upload to the arXiv.

A library of formal models in the jani-model format.

BiBLaTeX style for Springer Lecture Notes in Computer Science

BiBLaTeX style for Springer Lecture Notes in Computer Science

A collection of timed automata for benchmarking.

Falsification of CPS via Automata Learning

Graphical web interface to run imitator

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

Pattern Matching with Timed Nu-Automata.

An easy way to generate automata models for real-time scheduling problems.

Parametric Timed Automata SMT checker.

Parametric synthesis tool for a branching action temporal logic.

The Z3 Theorem Prover