Sign in
Verifying Imperative Programs using Auto2.
Bohua Zhan
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
imperative programs
dynamic logic
model checking
case study
intelligent agents
artificial intelligence