Travelled to:1 × Russia
1 × United Kingdom
Collaborated with:P.Rockai J.Barnat L.Brim V.Havel J.Havlícek J.Kriho M.Lenco J.Weiser
Talks about:model (2) multithread (1) techniqu (1) explicit (1) program (1) checker (1) memori (1) effici (1) state (1) check (1)
Person: Vladimír Still
DBLP: Still:Vladim=iacute=r
Contributed to:
2015
2013Wrote 2 papers:
- SEFM-2015-RockaiSB #c #c++ #model checking
- Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
- 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.