Travelled to:1 × France
1 × USA
Collaborated with:R.Armoni L.Fix A.Tiemeyer M.Y.Vardi O.Grumberg N.Piterman R.Gerth B.Ginsburg T.Kanza A.Landver S.Mador-Haim E.Singerman Y.Zbar
Talks about:tempor (3) logic (2) properti (1) vacuiti (1) languag (1) specif (1) linear (1) enhanc (1) detect (1) spec (1)
Person: Alon Flaisher
DBLP: Flaisher:Alon
Contributed to:
2003
2002Wrote 2 papers:
- CAV-2003-ArmoniFFGPTV #detection #linear #logic
- Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
- TACAS-2002-ArmoniFFGGKLMSTVZ #logic
- The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.