- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-1367
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Verifying temporal specifications of Java programs ; volume:28 ; number:2 ; day:2 ; month:7 ; year:2020 ; pages:695-744 ; date:6.2020
Software quality journal ; 28, Heft 2 (2.7.2020), 695-744, 6.2020
- Creator
-
Spegni, Francesco
Spalazzi, Luca
Liva, Giovanni
Pinzger, Martin
Bollin, Andreas
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11219-019-09488-9
- URN
-
urn:nbn:de:101:1-2020083121175702305103
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:51 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
- Spegni, Francesco
- Spalazzi, Luca
- Liva, Giovanni
- Pinzger, Martin
- Bollin, Andreas
- SpringerLink (Online service)
Other Objects (12)
Formally verifying decompositions of stochastic specifications
Verifying Global Neural Network Specifications using Hyperproperties
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Implementing and Verifying MSC Specifications Using Promela/XSpin
Verifying Whiley Programs with Boogie
Supporting and verifying transient behavior specifications in chaos engineering
Verifying temporal properties of systems
Verifying OCL specifications of UML models : tool support and compositionakity
Verifying concurrent programs under weak memory models
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying Array Manipulating Programs with Full-Program Induction
Formally verifying decompositions of stochastic specifications
Verifying Global Neural Network Specifications using Hyperproperties
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Implementing and Verifying MSC Specifications Using Promela/XSpin
Verifying Whiley Programs with Boogie
Supporting and verifying transient behavior specifications in chaos engineering
Verifying temporal properties of systems
Verifying OCL specifications of UML models : tool support and compositionakity
Verifying concurrent programs under weak memory models
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying Array Manipulating Programs with Full-Program Induction
Formally verifying decompositions of stochastic specifications
Verifying Global Neural Network Specifications using Hyperproperties
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Implementing and Verifying MSC Specifications Using Promela/XSpin
Verifying Whiley Programs with Boogie
Supporting and verifying transient behavior specifications in chaos engineering
Verifying temporal properties of systems
Verifying OCL specifications of UML models : tool support and compositionakity
Verifying concurrent programs under weak memory models
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract