FM 2016: Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319489889, 9783319489896
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Erratum to: Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems

2017 ◽  
pp. E1-E1
Author(s):  
Predrag Filipovikj ◽  
Nesredin Mahmud ◽  
Raluca Marinescu ◽  
Cristina Seceleanu ◽  
Oscar Ljungkrantz ◽  
...  
Keyword(s):  
Statistical Model ◽  
Model Checker ◽  
Industrial Systems

Refactoring Refinement Structure of Event-B Machines

2016 ◽  
pp. 444-459 ◽  
Author(s):  
Tsutomu Kobayashi ◽  
Fuyuki Ishikawa ◽  
Shinichi Honiden

A Generic Logic for Proving Linearizability

2016 ◽  
pp. 426-443 ◽  
Author(s):  
Artem Khyzha ◽  
Alexey Gotsman ◽  
Matthew Parkinson

A Model Checking Approach to Discrete Bifurcation Analysis

2016 ◽  
pp. 85-101 ◽  
Author(s):  
Nikola Beneš ◽  
Luboš Brim ◽  
Martin Demko ◽  
Samuel Pastva ◽  
David Šafránek
Keyword(s):  
Model Checking ◽  
Bifurcation Analysis

scholarly journals Towards Concolic Testing for Hybrid Systems

2016 ◽  
pp. 460-478 ◽  
Author(s):  
Pingfan Kong ◽  
Yi Li ◽  
Xiaohong Chen ◽  
Jun Sun ◽  
Meng Sun ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Concolic Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document