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 × France
Collaborated with:
Y.Kesten A.Klein A.Pnueli
Talks about:
softwar (1) perfect (1) analysi (1) verifi (1) deduct (1) combin (1) verif (1) model (1) check (1) real (1)

Person: Gil Raanan

DBLP DBLP: Raanan:Gil

Contributed to:

World Congress on Formal Methods 19991999

Wrote 1 papers:

FM-v1-1999-KestenKPR #analysis #deduction #model checking #verification
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software (YK, AK, AP, GR), pp. 173–194.

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.