- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: CHECHIK, Marsha, ed., Joost-Pieter KATOEN, ed., Martin LEUCKER, ed.. Formal Methods : 25th International Symposium, FM 2023, Proceedings. Cham: Springer, 2023, pp. 181-198. Lecture Notes in Computer Science. 14000. ISBN 978-3-031-27480-0. Available under: doi: 10.1007/978-3-031-27481-7_12
In: 25th International Symposium on Formal Methods : FM 2023, 6. März 2023 - 10. März 2023, Lübeck
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2023
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-43spemd6cbbe5
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 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
- Bauer-Marquart, Fabian
- Leue, Stefan
- Schilling, Christian
- KOPS Universität Konstanz
Entstanden
- 2023
Ähnliche Objekte (12)
Symbolic Computation with Python using SymPy
Integrating Symbolic Execution, Debugging and Verification
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Verification of pointer programs
QV.
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
SYM
SYM
Symbolic Computation with Python using SymPy
Integrating Symbolic Execution, Debugging and Verification
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Verification of pointer programs
QV.
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
SYM
SYM
Symbolic Computation with Python using SymPy
Integrating Symbolic Execution, Debugging and Verification
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Verification of pointer programs
QV.
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
SYM