Toward a wider use of formal methods for aerospace systems design and verification Yamine Ait AmeurFrédéric BoniolVirginie Wiels Special Section on ISoLA 2007 11 November 2009 Pages: 1 - 7
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more Daniel PlaggeMichael Leuschel Special Section on ISOLA 2007 11 November 2009 Pages: 9 - 21
Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers Andreas BauerMartin LeuckerMichael Tautschnig Special Section On ISoLA 2007 10 November 2009 Pages: 23 - 37
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method Joris Rehm Special Section On ISOLA 2007 10 November 2009 Pages: 39 - 51
A framework for robust active super tier systems Shlomi DolevOri Gersten Regular Contribution 08 January 2009 Pages: 53 - 67
A class library for implementing, testing, and debugging concurrent programs Richard H. CarverYu Lei Regular Contribution 12 February 2009 Pages: 69 - 88