Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319061993, 9783319062006
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining PVSio with Stateflow

2014 ◽  
pp. 209-214 ◽  
Author(s):  
Paolo Masci ◽  
Yi Zhang ◽  
Paul Jones ◽  
Patrick Oladimeji ◽  
Enrico D’Urso ◽  
...  

scholarly journals Formal Verification of kLIBC with the WP Frama-C Plug-in

2014 ◽  
pp. 343-358 ◽  
Author(s):  
Nuno Carvalho ◽  
Cristiano da Silva Sousa ◽  
Jorge Sousa Pinto ◽  
Aaron Tomb
Keyword(s):  
Formal Verification

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach

2014 ◽  
pp. 264-269 ◽  
Author(s):  
Franco Mazzanti ◽  
Giorgio Oronzo Spagnolo ◽  
Alessio Ferrari
Keyword(s):  
Model Checking

Refinement Types for tla  +

2014 ◽  
pp. 143-157 ◽  
Author(s):  
Stephan Merz ◽  
Hernán Vanzetto
Keyword(s):  
Refinement Types

Memory Efficient Data Structures for Explicit Verification of Timed Systems

2014 ◽  
pp. 307-312 ◽  
Author(s):  
Peter Gjøl Jensen ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba ◽  
Mathias Grund Sørensen ◽  
Jakob Haar Taankvist
Keyword(s):  
Data Structures ◽  
Timed Systems ◽  
Efficient Data ◽  
Efficient Data Structures ◽  
Memory Efficient
Load More ...
Sign in / Sign up

Export Citation Format

Share Document