Abstract is missing.
- Formal Verification of Industrial Critical SoftwareMarielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann. 1-11 [doi]
- A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-CAllan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue. 15-30 [doi]
- Intra-procedural Optimization of the Numerical Accuracy of ProgramsNasrine Damouche, Matthieu Martel, Alexandre Chapoutot. 31-46 [doi]
- Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL ToolsJin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen. 47-61 [doi]
- Successful Use of Incremental BMC in the Automotive IndustryPeter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller. 62-77 [doi]
- Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services ResourcesValentin Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero. 81-95 [doi]
- Model Checking a Server-Side Micro Payment ProtocolKaylash Chaudhary, Ansgar Fehnker. 96-110 [doi]
- Require, Test and Trace ITBernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran. 113-127 [doi]
- Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access SolutionSunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen. 128-145 [doi]
- Timed Mobility and Timed Communication for Critical SystemsBogdan Aman, Gabriel Ciobanu. 146-161 [doi]
- On the Formal Analysis of Photonic Signal Processing SystemsUmair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar. 162-177 [doi]
- Automated Verification of Nested DFSJaco C. van de Pol. 181-197 [doi]
- On the Formal Verification of Optical Quantum Gates in HOLMohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar. 198-211 [doi]