Parameterized verification of systems with component identities, using view abstraction
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Parameterized verification of systems with component identities, using view abstraction ; volume:24 ; number:2 ; day:26 ; month:2 ; year:2022 ; pages:287-324 ; date:4.2022
International journal on software tools for technology transfer ; 24, Heft 2 (26.2.2022), 287-324, 4.2022
- Creator
-
Lowe, Gavin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00648-0
- URN
-
urn:nbn:de:101:1-2022062021311718135352
- 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
- Lowe, Gavin
- SpringerLink (Online service)
Other Objects (12)
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits