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 × Estonia
Collaborated with:
T.Lev-Ami N.Immerman T.W.Reps S.Sagiv G.Yorsh
Talks about:
structur (1) reachabl (1) applic (1) verif (1) simul (1) order (1) logic (1) first (1) link (1) data (1)

Person: Siddharth Srivastava

DBLP DBLP: Srivastava:Siddharth

Contributed to:

CADE 20052005

Wrote 1 papers:

CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.

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.