MARS

Publications

2015

Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
Modeling and Verification of the Bitcoin Protocol. MARS (2015)
Sidney Amani, Toby C. Murray
Specifying a Realistic File System. MARS (2015)
Franck Cassez, Pablo González de Aledo Marugán
Timed Automata for Modelling Caches and Pipelines. MARS (2015)
Wendelin Serwe
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. MARS (2015)
June Andronick, Corey Lewis, Carroll Morgan
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. MARS (2015)
Felix Freiberger, Holger Hermanns
On the Control of Self-Balancing Unicycles. MARS (2015)

volume 196, 2015

Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. MARS 196 (2015)