Infoscience

Thesis

Deductive local model checking: on the verification of CTL* properties of infinite-state reactive systems

    Thèse École polytechnique fédérale de Lausanne EPFL, n° 2215 (2000)
    Faculté informatique et communications
    Jury: Armin Biere, Dilian Gurov, Roger Hersch, Yonit Kesten, Martin Odersky

    Public defense: 2000-9-29

    Reference

    Record created on 2005-03-16, modified on 2016-08-08

Fulltext

Related material

Contacts

EPFL authors