- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Automatic verification of concurrent stochastic systems ; day:22 ; month:1 ; year:2021 ; pages:1-63
Formal methods in system design ; (22.1.2021), 1-63
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-020-00356-y
- URN
-
urn:nbn:de:101:1-2021031419362649586361
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kwiatkowska, Marta Z.
- Norman, Gethin
- Parker, David
- Santos, Gabriel
- SpringerLink (Online service)
Other Objects (12)
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation