Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642288906, 9783642288913
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lessons Learnt from the Adoption of Formal Model-Based Development

2012 ◽  
pp. 24-38 ◽  
Author(s):  
Alessio Ferrari ◽  
Alessandro Fantechi ◽  
Stefania Gnesi
Keyword(s):  
Formal Model ◽  
Model Based ◽  
Lessons Learnt

CLSE: Closed-Loop Symbolic Execution

2012 ◽  
pp. 356-370 ◽  
Author(s):  
Rupak Majumdar ◽  
Indranil Saha ◽  
K. C. Shashidhar ◽  
Zilong Wang
Keyword(s):  
Closed Loop ◽  
Symbolic Execution

scholarly journals Using PVS to Investigate Incidents through the Lens of Distributed Cognition

2012 ◽  
pp. 273-278 ◽  
Author(s):  
Paolo Masci ◽  
Huayi Huang ◽  
Paul Curzon ◽  
Michael D. Harrison
Keyword(s):  
Distributed Cognition

Belief Bisimulation for Hidden Markov Models

2012 ◽  
pp. 326-340 ◽  
Author(s):  
David N. Jansen ◽  
Flemming Nielson ◽  
Lijun Zhang
Keyword(s):  
Hidden Markov Models ◽  
Markov Models ◽  
Hidden Markov

Generating Verifiable Java Code from Verified PVS Specifications

2012 ◽  
pp. 310-325 ◽  
Author(s):  
Leonard Lensink ◽  
Sjaak Smetsers ◽  
Marko van Eekelen
Keyword(s):  
Java Code

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems

2012 ◽  
pp. 295-309
Author(s):  
Jason Belt ◽  
Robby ◽  
Patrice Chalin ◽  
John Hatcliff ◽  
Xianghua Deng
Keyword(s):  
Data Structures ◽  
Symbolic Execution ◽  
Critical Systems

Runtime Verification Meets Android Security

2012 ◽  
pp. 174-180 ◽  
Author(s):  
Andreas Bauer ◽  
Jan-Christoph Küster ◽  
Gil Vegliach
Keyword(s):  
Runtime Verification ◽  
Android Security

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

2012 ◽  
pp. 147-161 ◽  
Author(s):  
Heber Herencia-Zapana ◽  
Romain Jobredeaux ◽  
Sam Owre ◽  
Pierre-Loïc Garoche ◽  
Eric Feron ◽  
...  
Keyword(s):  
Linear Algebra ◽  
Control Software ◽  
Software Algorithms

scholarly journals Sound Formal Verification of Linux’s USB BP Keyboard Driver

2012 ◽  
pp. 210-215 ◽  
Author(s):  
Willem Penninckx ◽  
Jan Tobias Mühlberg ◽  
Jan Smans ◽  
Bart Jacobs ◽  
Frank Piessens
Keyword(s):  
Formal Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document