Abstract is missing.
- Formal Methods for Critical SystemsSteven P. Miller. 1 [doi]
- Model-Based Verification of Automotive Control SoftwareRance Cleaveland. 2 [doi]
- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS ApproachWerner Damm. 3 [doi]
- Panel Discussion on Formal Methods in Commercial Software Development ToolsAlessandro Fantechi, Alessio Ferrari. 4-6 [doi]
- LETO - A Lustre-Based Test Oracle for Airbus Critical SystemsGuy Durrieu, Hélène Waeselynck, Virginie Wiels. 7-22 [doi]
- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock OperatorsVirginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis. 23-36 [doi]
- Fighting State Space Explosion: Review and EvaluationRadek Pelánek. 37-52 [doi]
- Local Quantitative LTL Model CheckingJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova. 53-68 [doi]
- Efficient Symbolic Model Checking for Process AlgebrasJosé Vander Meulen, Charles Pecheur. 69-84 [doi]
- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem ProvingBernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen. 85-102 [doi]
- Using CSP||B Components: Application to a Platoon of VehiclesSamuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. 103-118 [doi]
- Formal Verification of the Implementability of Timing RequirementsXiayong Hu, Mark Lawford, Alan Wassyng. 119-134 [doi]
- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual PropertiesChristian Colombo, Gordon J. Pace, Gerardo Schneider. 135-149 [doi]
- Can Flash Memory Help in Model Checking?Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek. 150-165 [doi]
- From Informal Requirements to Property-Driven Formal ValidationAlessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta. 166-181 [doi]
- Automated Certification of Non-Interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. 182-198 [doi]
- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based SpecificationsErzsébet Németh, Tamás Bartha. 199-214 [doi]
- Using Datalog and Boolean Equation Systems for Program AnalysisMaría Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva. 215-231 [doi]