Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642380877, 9783642380884
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding

2013 ◽  
pp. 213-228 ◽  
Author(s):  
Wei-Fan Chiang ◽  
Ganesh Gopalakrishnan ◽  
Guodong Li ◽  
Zvonimir Rakamarić
Keyword(s):  
Formal Analysis

scholarly journals Widening as Abstract Domain

2013 ◽  
pp. 170-184 ◽  
Author(s):  
Bogdan Mihaila ◽  
Alexander Sepp ◽  
Axel Simon

scholarly journals Verification of Numerical Programs: From Real Numbers to Floating Point Numbers

2013 ◽  
pp. 441-446 ◽  
Author(s):  
Alwyn E. Goodloe ◽  
César Muñoz ◽  
Florent Kirchner ◽  
Loïc Correnson
Keyword(s):  
Floating Point ◽  
Real Numbers ◽  
Floating Point Numbers

scholarly journals Hierarchical Safety Cases

2013 ◽  
pp. 478-483 ◽  
Author(s):  
Ewen Denney ◽  
Ganesh Pai ◽  
Iain Whiteside
Keyword(s):  
Safety Cases
Load More ...
Sign in / Sign up

Export Citation Format

Share Document