From non-disjoint combination to satisfiability and model checking of infinite state systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2007]
- Beteiligte Personen und Organisationen
-
Ghilardi, Silvio
Ranise, Silvio
Nicolini, Enrica
Zucchelli, Daniele
- URN
-
urn:nbn:de:0030-drops-12479
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ghilardi, Silvio
- Ranise, Silvio
- Nicolini, Enrica
- Zucchelli, Daniele
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2007]
Ähnliche Objekte (12)
Liveness checking as safety checking for infinite state spaces
Satisfiability Checking for the Coalgebraic µ-Calculus
Infinite state model checking of propositional dynamic logics
Infinite state AMC-model checking for cryptographic protocols
Satisfiability and model checking in team based logics
New Perspectives in Symbolic Computation and Satisfiability Checking
Logics on data words : Expressivity, satisfiability, model checking
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Decidability and complexity of model checking problems for infinite state systems
Towards Infinite-State Symbolic Model Checking for B and Event-B
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Diagnostic checking in linear processes with infinit variance
Liveness checking as safety checking for infinite state spaces
Satisfiability Checking for the Coalgebraic µ-Calculus
Infinite state model checking of propositional dynamic logics
Infinite state AMC-model checking for cryptographic protocols
Satisfiability and model checking in team based logics
New Perspectives in Symbolic Computation and Satisfiability Checking
Logics on data words : Expressivity, satisfiability, model checking
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Decidability and complexity of model checking problems for infinite state systems
Towards Infinite-State Symbolic Model Checking for B and Event-B
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Diagnostic checking in linear processes with infinit variance
Liveness checking as safety checking for infinite state spaces
Satisfiability Checking for the Coalgebraic µ-Calculus
Infinite state model checking of propositional dynamic logics
Infinite state AMC-model checking for cryptographic protocols
Satisfiability and model checking in team based logics
New Perspectives in Symbolic Computation and Satisfiability Checking
Logics on data words : Expressivity, satisfiability, model checking
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Decidability and complexity of model checking problems for infinite state systems
Towards Infinite-State Symbolic Model Checking for B and Event-B
Parameterised complexity of model checking and satisfiability in propositional dependence logic