Travelled to:1 × Israel
Collaborated with:A.P.Sistla L.Miliades
Talks about:symmetri (2) model (2) properti (1) exploit (1) checker (1) verif (1) under (1) check (1) that (1) live (1)
Person: Viktor Gyuris
DBLP: Gyuris:Viktor
Contributed to:
1997Wrote 2 papers:
- CAV-1997-GyurisS #model checking #on the fly #symmetry
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.
- CAV-1997-SistlaMG #liveness #model checking #named #symmetry #verification
- SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.