Stem vin$ (all stems)
3 papers:
CAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code #thread- DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
- CAV-2006-BarnatBCMRS #distributed #named #verification
- DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.
IWPC-2000-Sajaniemi #comprehension #multi- Program Comprehension through Multiple Simultaneous Views: A Session with VinEd (JS), pp. 99–108.