Automated Verification of Go Programs via Bounded Model Checking.

Nicolas Dilley Julien Lange

Published in: ASE (2021)

Keyphrases

automated verification
bounded model checking
model checking
formal verification
temporal logic
formal specification
linear temporal logic
finite state
epistemic logic
formal methods
transition systems
concurrent systems
machine learning
artificial intelligence
automated reasoning
modal logic
dynamic programming