Formal verification of distributed controllers using Time-Stamped Event Count Automata.

Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty

Browse the full ASPDAC paper archive.