- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation. Verification
A Broader View on Verification: From Static to Runtime and Back (Track Summary)
other
October 30 2018
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Book: not found
Handbook of Model Checking
Edmund M. Clarke, Thomas Henzinger, Helmut Veith … (2018)
- Record: found
- Abstract: not found
- Book: not found
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel … (2016)
- Record: found
- Abstract: not found
- Book Chapter: not found
Introduction to Runtime Verification
Ezio Bartocci, Yliès Falcone, Adrian Francalanza … (2018)
