Login / Signup
Ready for testing: ensuring conformance to industrial standards through formal verification.
Sergio Feo Arenis
Bernd Westphal
Daniel Dietsch
Marco Muñiz
Ahmad Siyar Andisha
Andreas Podelski
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
formal verification
model checking
bounded model checking
model checker
symbolic model checking
automated verification
widely accepted
program slicing
industrial applications
artificial intelligence
iso iec
functional verification
dynamic programming