Ausgabe 4/2016
Inhalt (14 Artikel)
An overview of model checking practices on verification of PLC software
- Theme Section Paper
Tolga Ovatman, Atakan Aral, Davut Polat, Ali Osman Ünver
A formal verification framework for static analysis
- Theme Section Paper
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
A framework for deadlock detection in core ABS
- Theme Section Paper
Elena Giachino, Cosimo Laneve, Michael Lienhardt
Automated anonymity verification of the ThreeBallot and VAV voting systems
- Theme Section Paper
Murat Moran, James Heather, Steve Schneider
Constructing and verifying a robust Mix Net using CSP
- Theme Section Paper
Efstathios Stathakidis, David M. Williams, James Heather
The Unit-B method: refinement guided by progress concerns
- Theme Section Paper
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
- Theme Section Paper
Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
Contract-based verification of discrete-time multi-rate Simulink models
- Theme Section Paper
Pontus Boström, Jonatan Wiik
Knowledge-based construction of distributed constrained systems
- Theme Section Paper
Susanne Graf, Sophie Quinton
Feature Nets: behavioural modelling of software product lines
- Theme Section Paper
Radu Muschevici, José Proença, Dave Clarke
Supporting different process views through a Shared Process Model
- Regular Paper
Jochen Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki
