Special Issue on Formal Modeling and Verification of Critical SystemsSerge 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.
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.