2014 CAV award announcement by Kwiatkowska, M, Vardi, M, Bouajjani, A, Ball, T

“…The 2014 CAV (Computer-Aided Verification) Award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.…”

Revivals, stuckness and the hierarchy of CSP models by Roscoe, A

“…Rehof, Stuck-free conformance, Proceedings CAV 04, 16th International Conference on Computer Aided Verification, Boston, USA, July 2004.]. This is the stable revivals model R alluded to in Reed et al (2007, FAC, 19, 3). …”

Context-aware counter abstraction. by Basler, G, Mazzucchi, M, Wahl, T, Kroening, D

“…The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. …”