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

DOI: https://doi.org/10.14279/tuj.eceasst.72

Published: 2015-11-25

Articles

ThreadSafe: Static Analysis for Java Concurrency

Robert Atkey, Donald Sannella
- PDF
Studying Verification Conditions for Imperative Programs

Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
- PDF
State Distribution Policy for Distributed Model Checking of Actor Models

Ehsan Khamespanah, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, Mohamadreza Razzazi
- PDF
Transforming Event-B Models to Dafny Contracts

Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
- PDF
Distributed Verification of Rare Properties using Importance Splitting Observers

Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- PDF
Conditional Lemma Discovery and Recursion Induction in Hipster

Irene Lobo Valbuena, Moa Johansson
- PDF
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Vincent Rahli, David Guaspari, Mark Bickford, Robert Constable
- PDF
Verifying Critical Cyber-Physical Systems After Deployment

Colin O'Halloran
- PDF
Automated Verification of Asynchronous Communicating Systems with TLA+

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
- PDF
Permissive strategies in timed automata and games

Patricia Bouyer, Erwin Fang, Nicolas Markey
- PDF
Loop Patterns in C Programs

Thomas Pani, Helmut Veith, Florian Zuleger
- PDF
Model-based WCET Analysis with Invariants

Bojan Nokovic, Emil Sekerinski
- PDF
Computing Bounds for Counter Automata

Maximilien Colange, Dimitri Racordon, Didier Buchs
- PDF
First-order logic for safety verification of hedge rewriting systems

Alexei Lisitsa
- PDF
Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- PDF
Approximate Active Learning of Nondeterministic Input Output Transition Systems

Michele Volpato, Jan Tretmans
- PDF

Preface

Preface

Gudmund Grov, Andrew Ireland
- PDF

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

Articles

ThreadSafe: Static Analysis for Java Concurrency

Studying Verification Conditions for Imperative Programs

State Distribution Policy for Distributed Model Checking of Actor Models

Transforming Event-B Models to Dafny Contracts

Distributed Verification of Rare Properties using Importance Splitting Observers

Conditional Lemma Discovery and Recursion Induction in Hipster

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Verifying Critical Cyber-Physical Systems After Deployment

Automated Verification of Asynchronous Communicating Systems with TLA+

Permissive strategies in timed automata and games

Loop Patterns in C Programs

Model-based WCET Analysis with Invariants

Computing Bounds for Counter Automata

First-order logic for safety verification of hedge rewriting systems

Estimating Rewards & Rare Events in Nondeterministic Systems

Approximate Active Learning of Nondeterministic Input Output Transition Systems

Preface

Preface

Information

Usage Statistics Information