Publication
Special Issue on Formal Modeling and Verification of Critical Systems
Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.
Abstract
This special issue is devoted to the scopes of two international
workshops focussing on the formal modelling and verification of
critical information systems: the Workshop on Automated Verification
of Critical Systems (AVoCS 2006) and the Verification Workshop
(VERIFY'06), which took place during September 2006 in Nancy (France)
and during August 2006 in Seattle (USA), respectively.
The workshops aimed at bringing together people who are interested in
the development of safety and security critical systems, in formal
methods, in the development of verification techniques and the
development of tool support. They covered all aspects of automated
verification (abstract interpretation, model checking, theorem
proving), formal development methodologies (compositional and modular
reasoning, refinement, stepwise development) pertaining to various
types of critical systems (safety-critical, security-critical,
business-critical, performance-critical, etc.), formal modeling
techniques (architectural modeling, behavioral modeling, generic
security models, etc.), and case studies.