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

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

Dealing with Incompleteness in Automata-Based Model Checking

2016 ◽  
pp. 531-550 ◽  
Author(s):  
Claudio Menghi ◽  
Paola Spoletini ◽  
Carlo Ghezzi
Keyword(s):  
Model Checking

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

scholarly journals Learning Moore Machines from Input-Output Traces

2016 ◽  
pp. 291-309 ◽  
Author(s):  
Georgios Giantamidis ◽  
Stavros Tripakis
Keyword(s):  
Input Output

scholarly journals Formal Verification of Multi-Paxos for Distributed Consensus

2016 ◽  
pp. 119-136 ◽  
Author(s):  
Saksham Chand ◽  
Yanhong A. Liu ◽  
Scott D. Stoller
Keyword(s):  
Formal Verification ◽  
Distributed Consensus

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

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

2016 ◽  
pp. 69-84 ◽  
Author(s):  
Hanno Becker ◽  
Juan Manuel Crespo ◽  
Jacek Galowicz ◽  
Ulrich Hensel ◽  
Yoichi Hirai ◽  
...  
Keyword(s):  
Formal Analysis ◽  
Model Based ◽  
Model Based Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document