Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:D.Honfi Z.Micskei V.Molnár D.Darvas T.Bartha
Talks about:increment (1) visual (1) symbol (1) induct (1) execut (1) satur (1) proof (1) model (1) check (1) tool (1)
Person: András Vörös
DBLP: V=ouml=r=ouml=s:Andr=aacute=s
Contributed to:
2015
2015Wrote 2 papers:
- ICST-2015-HonfiVM #execution #named #symbolic computation #visualisation
- SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
- TACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving
- Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.