Deductive local model checking: on the verification of CTL* properties of infinite-state reactive systems
2000
Files
Details
Title
Deductive local model checking: on the verification of CTL* properties of infinite-state reactive systems
Author(s)
Sprenger, Christoph
Advisor(s)
Pagination
185
Date
2000
Publisher
Lausanne, EPFL
Language
English
Record Appears in
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Work produced at EPFL
Published
Theses
Record creation date
2005-03-16