Travelled to:1 × Russia
Collaborated with:J.Barnat L.Brim V.Havel J.Havlícek M.Lenco P.Rockai V.Still J.Weiser
Talks about:multithread (1) explicit (1) program (1) checker (1) state (1) model (1) vin (1)
Person: Jan Kriho
DBLP: Kriho:Jan
Contributed to:
2013Wrote 1 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.