Travelled to:1 × Russia
Collaborated with:J.Barnat P.Bauch L.Brim J.Havlícek J.Kriho M.Lenco P.Rockai V.Still J.Weiser
Talks about:program (2) model (2) multithread (1) parallel (1) explicit (1) checker (1) state (1) input (1) check (1) vin (1)
Person: Vojtech Havel
DBLP: Havel:Vojtech
Contributed to:
2014
2013Wrote 2 papers:
- PDP-2014-BarnatBH #model checking #parallel #source code
- Model Checking Parallel Programs with Inputs (JB, PB, VH), pp. 756–759.
- 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.