Subproject

S2

Categories

Model reduction

Overview

More complete reimplementation of hiralysis.

Publications

J. Bauer and R. Wilhelm. Static analysis of dynamic communication systems by partner abstraction. In Gilberto Filé and Hanne Riis Nielson, editors, Static Analysis Symposium, Springer LNCS, 2007.

Benchmarks

Car Platooning

Download

(will be available soon)

Manual

(will be available soon)

Status

Proof of concept