Travelled to:
1 × USA
Collaborated with:
R.Fraer G.Kamhi M.Y.Vardi L.Fix
Talks about:
reachabl (1) travers (1) priorit (1) analysi (1) falsif (1) effici (1) verif (1)
Person: Barukh Ziv
DBLP: Ziv:Barukh
Contributed to:
Wrote 1 papers:
- CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
- Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.