NASA Monographs in Systems and Software Engineering - Provably Correct Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319486277, 9783319486284

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Engineering a Formal, Executable x86 ISA Simulator for Software Verification

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_8 ◽

2017 ◽

pp. 173-209 ◽

Cited By ~ 3

Author(s):

Shilpi Goel ◽

Warren A. Hunt ◽

Matt Kaufmann

Keyword(s):

Software Verification

Download Full-text

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_5 ◽

2017 ◽

pp. 95-120 ◽

Cited By ~ 3

Author(s):

Ernst-Rüdiger Olderog ◽

Anders P. Ravn ◽

Rafael Wisniewski

Keyword(s):

Continuous Models

Download Full-text

From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_12 ◽

2017 ◽

pp. 285-310

Author(s):

Bettina Buth

Keyword(s):

Mental Models ◽

Formal Methods

Download Full-text

ProCoS: How It All Began – as Seen from Denmark

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_1 ◽

2017 ◽

pp. 3-5

Author(s):

Dines Bjørner

Download Full-text

Towards Interface-Driven Design of Evolving Component-Based Architectures

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_6 ◽

2017 ◽

pp. 121-148 ◽

Cited By ~ 2

Author(s):

Xin Chen ◽

Zhiming Liu

Download Full-text

In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_11 ◽

2017 ◽

pp. 265-281 ◽

Cited By ~ 2

Author(s):

Tim Todman ◽

Wayne Luk

Keyword(s):

Hardware Design ◽

Reconfigurable Hardware

Download Full-text

Computing Verified Machine Address Bounds During Symbolic Exploration of Code

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_7 ◽

2017 ◽

pp. 151-172 ◽

Cited By ~ 1

Author(s):

J Strother Moore

Download Full-text

Advances in Connection-Based Automated Theorem Proving

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_9 ◽

2017 ◽

pp. 211-241 ◽

Cited By ~ 5

Author(s):

Jens Otten ◽

Wolfgang Bibel

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_2 ◽

2017 ◽

pp. 9-38

Author(s):

Martin Fränzle ◽

Yang Gao ◽

Sebastian Gerwinn

Keyword(s):

Hybrid Systems ◽

Constraint Solving ◽

Stochastic Hybrid Systems

Download Full-text

Run-Time Deadlock Detection

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_10 ◽

2017 ◽

pp. 245-264

Author(s):

Frank S. de Boer ◽

Stijn de Gouw

Keyword(s):

Deadlock Detection ◽

Run Time

Download Full-text

NASA Monographs in Systems and Software Engineering - Provably Correct SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Engineering a Formal, Executable x86 ISA Simulator for Software Verification

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods

ProCoS: How It All Began – as Seen from Denmark

Towards Interface-Driven Design of Evolving Component-Based Architectures

In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design

Computing Verified Machine Address Bounds During Symbolic Exploration of Code

Advances in Connection-Based Automated Theorem Proving

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems

Run-Time Deadlock Detection

NASA Monographs in Systems and Software Engineering - Provably Correct Systems
Latest Publications