Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving ; volume:31 ; number:3 ; day:13 ; month:5 ; year:2019 ; pages:375-409 ; date:6.2019
Formal aspects of computing ; 31, Heft 3 (13.5.2019), 375-409, 6.2019
- Urheber
-
Antonino, Pedro
Gibson-Robinson, Thomas
Roscoe, A. W.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-019-00483-2
- URN
-
urn:nbn:de:101:1-2019112400333027707937
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 MESZ
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
- Antonino, Pedro
- Gibson-Robinson, Thomas
- Roscoe, A. W.
- SpringerLink (Online service)
Ähnliche Objekte (12)
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Constraint solving for verification
SAT-Based Scalable Formal Verification Solutions
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Specification and verification of concurrent systems
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Constraint solving for verification
SAT-Based Scalable Formal Verification Solutions
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Specification and verification of concurrent systems
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Constraint solving for verification
SAT-Based Scalable Formal Verification Solutions
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems