VMCAI

AcronymDefinition
VMCAIVerification Model Checking and Abstract Interpretation
References in periodicals archive ?
In Verification, Model Checking, and Abstract Interpretation (VMCAI) (2013), LNCS, vol.
Strichman, "Completeness and complexity of bounded model checking," in Verification, Model Checking, and Abstract Interpretation (VMCAI 04), vol.
Junttila, "Simple is better: efficient bounded model checking for past LTL," in Verification, Model Checking, and Abstract Interpretation (VMCAI 05), vol.