Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

DOI: http://dx.doi.org/10.14279/tuj.eceasst.72

Table of Contents

Preface

Preface
Gudmund Grov, Andrew Ireland
PDF

Articles

ThreadSafe: Static Analysis for Java Concurrency
Robert Atkey, Donald Sannella
PDF
Verifying Critical Cyber-Physical Systems After Deployment
Colin O'Halloran
PDF
Estimating Rewards & Rare Events in Nondeterministic Systems
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
PDF
Conditional Lemma Discovery and Recursion Induction in Hipster
Irene Lobo Valbuena, Moa Johansson
PDF
Computing Bounds for Counter Automata
Maximilien Colange, Dimitri Racordon, Didier Buchs
PDF
Transforming Event-B Models to Dafny Contracts
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
PDF
Loop Patterns in C Programs
Thomas Pani, Helmut Veith, Florian Zuleger
PDF
Studying Verification Conditions for Imperative Programs
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
PDF
Automated Verification of Asynchronous Communicating Systems with TLA+
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
PDF
Approximate Active Learning of Nondeterministic Input Output Transition Systems
Michele Volpato, Jan Tretmans
PDF
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
PDF
First-order logic for safety verification of hedge rewriting systems
Alexei Lisitsa
PDF
Distributed Verification of Rare Properties using Importance Splitting Observers
Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
PDF
Model-based WCET Analysis with Invariants
Bojan Nokovic, Emil Sekerinski
PDF
State Distribution Policy for Distributed Model Checking of Actor Models
Ehsan Khamespanah, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, Mohamadreza Razzazi
PDF
Permissive strategies in timed automata and games
Patricia Bouyer, Erwin Fang, Nicolas Markey
PDF