Travelled to:1 × Canada
1 × France
1 × Israel
1 × USA
Collaborated with:I.Beer S.Ben-David C.Eisner D.Geist L.Gluhovsky T.Heyman P.Paanah Y.Rodeh G.Ronin Y.Wolfsthal R.Armoni L.Fix A.Flaisher R.Gerth B.Ginsburg T.Kanza S.Mador-Haim E.Singerman A.Tiemeyer M.Y.Vardi Y.Zbar
Talks about:tempor (2) model (2) check (2) rule (2) base (2) properti (1) industri (1) languag (1) formula (1) specif (1)
Person: Avner Landver
DBLP: Landver:Avner
Contributed to:
2002
19981997
1996Wrote 4 papers:
- 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.
- CAV-1998-BeerBL #model checking #on the fly
- On-the-Fly Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.
- CAV-1997-BeerBEGGHLPRRW #model checking #named
- RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.
- DAC-1996-BeerBEL #named #verification
- RuleBase: An Industry-Oriented Formal Verification Tool (IB, SBD, CE, AL), pp. 655–660.