Volume 41, Issue 3-4

November 2008

Special Issue: Formal Modeling and Verification of Critical Systems

Issue Editors:

7 articles in this issue

Preface
Serge Autexier
Heiko Mantel
Tobias Nipkow
OriginalPaper 09 December 2008 Pages: 191 - 192
Data Compression for Proof Replay
Hasan Amjad
OriginalPaper 09 December 2008 Pages: 193 - 218
An Extensible Encoding of Object-oriented Data Models in hol
Achim D. Brucker
Burkhart Wolff
OriginalPaper 14 December 2008 Pages: 219 - 249
Automatic Symmetry Detection for Promela
Alastair F. Donaldson
Alice Miller
OriginalPaper 03 December 2008 Pages: 251 - 293
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Osman Hasan
Sofiène Tahar
OriginalPaper 09 December 2008 Pages: 295 - 323
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
Roberto Gorrieri
Fabio Martinelli
Marinella Petrocchi
OriginalPaper 11 December 2008 Pages: 325 - 364
Assumption–Commitment Support for CSP Model Checking
Nick Moffat
Michael Goldsmith
OriginalPaper 17 December 2008 Pages: 365 - 398

Search