Formal System Verification
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319576831, 9783319576855

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Incomplete Designs

Formal System Verification ◽

10.1007/978-3-319-57685-5_2 ◽

2017 ◽

pp. 37-72

Author(s):

Bernd Becker ◽

Christoph Scholl ◽

Ralf Wimmer

Keyword(s):

Incomplete Designs

Download Full-text

Software in a Hardware View

Formal System Verification ◽

10.1007/978-3-319-57685-5_4 ◽

2017 ◽

pp. 123-154 ◽

Cited By ~ 1

Author(s):

Carlos Villarraga ◽

Dominik Stoffel ◽

Wolfgang Kunz

Download Full-text

Formal Techniques for Verification and Coverage Analysis of Analog Systems

Formal System Verification ◽

10.1007/978-3-319-57685-5_1 ◽

2017 ◽

pp. 1-35

Author(s):

Andreas Fürtig ◽

Lars Hedrich

Keyword(s):

Coverage Analysis ◽

Analog Systems ◽

Formal Techniques

Download Full-text

Probabilistic Model Checking: Advances and Applications

Formal System Verification ◽

10.1007/978-3-319-57685-5_3 ◽

2017 ◽

pp. 73-121 ◽

Cited By ~ 5

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Formal Verification—The Industrial Perspective

Formal System Verification ◽

10.1007/978-3-319-57685-5_5 ◽

2017 ◽

pp. 155-182

Author(s):

Raik Brinkmann ◽

Dave Kelf

Keyword(s):

Formal Verification

Download Full-text