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

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319192482, 9783319192499
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Certified Reasoning with Infinity

2015 ◽  
pp. 496-513
Author(s):  
Asankhaya Sharma ◽  
Shengyi Wang ◽  
Andreea Costea ◽  
Aquinas Hobor ◽  
Wei-Ngan Chin

scholarly journals Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification

2015 ◽  
pp. 73-89 ◽  
Author(s):  
Hamid Bagheri ◽  
Eunsuk Kang ◽  
Sam Malek ◽  
Daniel Jackson
Keyword(s):  
Android Permission

Resource Analysis: From Sequential to Concurrent and Distributed Programs

2015 ◽  
pp. 3-17 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Jesús Correas ◽  
Samir Genaim ◽  
Miguel Gómez-Zamalloa ◽  
...  
Keyword(s):  
Resource Analysis ◽  
Distributed Programs

Static Differential Program Analysis for Software-Defined Networks

2015 ◽  
pp. 395-413 ◽  
Author(s):  
Tim Nelson ◽  
Andrew D. Ferguson ◽  
Shriram Krishnamurthi
Keyword(s):  
Program Analysis ◽  
Software Defined Networks

scholarly journals A Fully Verified Container Library

2015 ◽  
pp. 414-434 ◽  
Author(s):  
Nadia Polikarpova ◽  
Julian Tschannen ◽  
Carlo A. Furia

Automated Verification of RPC Stub Code

2015 ◽  
pp. 273-290 ◽  
Author(s):  
Matthew Fernandez ◽  
June Andronick ◽  
Gerwin Klein ◽  
Ihor Kuz
Keyword(s):  
Automated Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document