You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
1-7
Special Section on ISoLA 2007
Toward a wider use of formal methods for aerospace systems design and verification
Yamine Ait Ameur, Frédéric Boniol and Virginie Wiels
9-21
Special Section on ISOLA 2007
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more
Daniel Plagge and Michael Leuschel
23-37
Special Section On ISoLA 2007
Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers
Andreas Bauer, Martin Leucker, Christian Schallhart and Michael Tautschnig
39-51
Special Section On ISOLA 2007
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
Joris Rehm
53-67
Regular Contribution
A framework for robust active super tier systems
Shlomi Dolev and Ori Gersten
69-88
A class library for implementing, testing, and debugging concurrent programs
Richard H. Carver and Yu Lei
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info