Monografie
The temporal logic of reactive and concurrent systems : specification
- Sprache
-
Englisch
- Umfang
-
XIV, 427 S.
- ISBN
-
978-3-540-97664-6
- Identifier
-
930046900
Thema
Nebenläufigkeit ; Softwarespezifikation ; Temporale Logik
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:43 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Modal and temporal properties of processes
Unfoldings : a partial order approach to model checking
Das Gralsrätsel : Bundeslade, Heiliger Gral und Tempelritterorden
Compositional Concurrent Program Verification with RGITL
The calculus of computation : decision procedures with applications to verification
Time for verification : essays in memory of Amir Pnueli
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
Specification and analysis of concurrent systems : the COSY approach
Integration of graph transformation and temporal logic for the specification of distributed systems
Symbolische LTL-Verifikation von Petrinetzen
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Modal and temporal properties of processes
Unfoldings : a partial order approach to model checking
Das Gralsrätsel : Bundeslade, Heiliger Gral und Tempelritterorden
Compositional Concurrent Program Verification with RGITL
The calculus of computation : decision procedures with applications to verification
Time for verification : essays in memory of Amir Pnueli
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
Specification and analysis of concurrent systems : the COSY approach
Integration of graph transformation and temporal logic for the specification of distributed systems
Symbolische LTL-Verifikation von Petrinetzen
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Modal and temporal properties of processes
Unfoldings : a partial order approach to model checking
Das Gralsrätsel : Bundeslade, Heiliger Gral und Tempelritterorden
Compositional Concurrent Program Verification with RGITL
The calculus of computation : decision procedures with applications to verification
Time for verification : essays in memory of Amir Pnueli
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
Specification and analysis of concurrent systems : the COSY approach
Integration of graph transformation and temporal logic for the specification of distributed systems