Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319117362, 9783319117379
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An LTL Model Checking Approach for Biological Parameter Inference

2014 ◽  
pp. 155-170 ◽  
Author(s):  
Emmanuelle Gallet ◽  
Matthieu Manceny ◽  
Pascale Le Gall ◽  
Paolo Ballarini
Keyword(s):  
Model Checking ◽  
Biological Parameter ◽  
Parameter Inference ◽  
Ltl Model Checking

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata

2014 ◽  
pp. 364-379 ◽  
Author(s):  
Shohei Mochizuki ◽  
Masaya Shimakawa ◽  
Shigeki Hagihara ◽  
Naoki Yonezaki
Keyword(s):  
Büchi Automata ◽  
Buchi Automata

scholarly journals Approximations for Stochastic Graph Rewriting

2014 ◽  
pp. 1-10 ◽  
Author(s):  
Vincent Danos ◽  
Tobias Heindel ◽  
Ricardo Honorato-Zimmer ◽  
Sandro Stucki
Keyword(s):  
Graph Rewriting ◽  
Stochastic Graph

scholarly journals TAuth: Verifying Timed Security Protocols

2014 ◽  
pp. 300-315 ◽  
Author(s):  
Li Li ◽  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong
Keyword(s):  
Security Protocols

scholarly journals A Language-Independent Proof System for Mutual Program Equivalence

2014 ◽  
pp. 75-90 ◽  
Author(s):  
Ştefan Ciobâcă ◽  
Dorel Lucanu ◽  
Vlad Rusu ◽  
Grigore Roşu
Keyword(s):  
Proof System ◽  
Program Equivalence
Load More ...
Sign in / Sign up

Export Citation Format

Share Document