Login / Signup
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs.
Bart Jacobs
Published in:
ISoLA (1) (2020)
Keyphrases
</>
imperative programs
dynamic logic
input output
model checking
plan execution
modular structure
high level
video sequences
general purpose
formal methods
dynamic behavior
formal verification