Travelled to:1 × Israel
1 × USA
Collaborated with:I.Beer Y.Wolfsthal Y.Abarbanel S.Keidar S.Ben-David C.Eisner D.Geist T.Heyman A.Landver P.Paanah Y.Rodeh G.Ronin
Talks about:generat (1) checker (1) automat (1) specif (1) formal (1) simul (1) model (1) check (1) rule (1) base (1)
Person: Leonid Gluhovsky
DBLP: Gluhovsky:Leonid
Contributed to:
20001997Wrote 2 papers:
- CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification
- FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
- 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.