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