Scaling Bounded Model Checking By Transforming Programs With Arrays.

Anushri Jana Uday P. Khedker Advaita Datar R. Venkatesh Niyas C

Published in: CoRR (2016)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
computer programs
multi agent systems
search algorithm
object oriented
orders of magnitude
programming environment
control flow