BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Landver:Avner

Contributed to:

TACAS 20022002
CAV 19981998
CAV 19971997
DAC 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.