Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY ; volume:25 ; number:2 ; day:8 ; month:3 ; year:2023 ; pages:185-204 ; date:4.2023
International journal on software tools for technology transfer ; 25, Heft 2 (8.3.2023), 185-204, 4.2023
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00691-x
- URN
-
urn:nbn:de:101:1-2023081311053983713343
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:47 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
- Abbasi, Rosa
- Schiffl, Jonas
- Darulova, Eva
- Ulbrich, Mattias
- Ahrendt, Wolfgang
- SpringerLink (Online service)
Other Objects (12)
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Combining terminological and rule-based reasoning for abstraction processes
Verifying real-time systems
Self-verifying cellular automata
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions
Combining quantitative and qualitative reasoning in concurrent multi-player games
Verifying Visibility-Based Weak Consistency
Verifying temporal properties of systems
Verifying families of system configurations
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Combining terminological and rule-based reasoning for abstraction processes
Verifying real-time systems
Self-verifying cellular automata
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions
Combining quantitative and qualitative reasoning in concurrent multi-player games
Verifying Visibility-Based Weak Consistency
Verifying temporal properties of systems
Verifying families of system configurations
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Combining terminological and rule-based reasoning for abstraction processes
Verifying real-time systems
Self-verifying cellular automata
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions
Combining quantitative and qualitative reasoning in concurrent multi-player games
Verifying Visibility-Based Weak Consistency
Verifying temporal properties of systems