![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
20th FMICS 2015: Oslo, Norway
- Manuel Núñez
, Matthias Güdemann
:
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Lecture Notes in Computer Science 9128, Springer 2015, ISBN 978-3-319-19457-8 - Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
:
Formal Verification of Industrial Critical Software. 1-11
Applications
- Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
:
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. 15-30 - Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
:
Intra-procedural Optimization of the Numerical Accuracy of Programs. 31-46 - Jin Hyun Kim, Kim G. Larsen
, Brian Nielsen
, Marius Mikucionis
, Petur Olsen:
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. 47-61 - Peter Schrammel
, Daniel Kroening
, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Successful Use of Incremental BMC in the Automotive Industry. 62-77
Protocols
- Valentín Valero
, Hermenegilda Macià
, Gregorio Díaz
, María-Emilia Cambronero:
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. 81-95 - Kaylash Chaudhary
, Ansgar Fehnker
:
Model Checking a Server-Side Micro Payment Protocol. 96-110
Specification and Analysis
- Bernhard K. Aichernig
, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. 113-127 - Sunil Chaudhary
, Linfeng Li, Eleni Berki, Marko Helenius
, Juha Kela, Markku Turunen
:
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution. 128-145 - Bogdan Aman
, Gabriel Ciobanu
:
Timed Mobility and Timed Communication for Critical Systems. 146-161 - Umair Siddique
, Sidi Mohamed Beillahi, Sofiène Tahar:
On the Formal Analysis of Photonic Signal Processing Systems. 162-177
Verification
- Jaco C. van de Pol:
Automated Verification of Nested DFS. 181-197 - Mohamed Yousri Mahmoud
, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. 198-211
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.