SMT solving for the validation of B and Event-B models

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
SMT solving for the validation of B and Event-B models ; volume:24 ; number:6 ; day:21 ; month:11 ; year:2022 ; pages:1043-1077 ; date:12.2022
International journal on software tools for technology transfer ; 24, Heft 6 (21.11.2022), 1043-1077, 12.2022

Urheber
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10009-022-00682-y
URN
urn:nbn:de:101:1-2023021321374542052978
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:55 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (12)

Modular strategic SMT solving with SMT-RAT

Modular strategic SMT solving with SMT-RAT

SMT solving, interpolation, and quantifiers

SMT solving, interpolation, and quantifiers

Learning probabilistic automata with SMT solving

Learning probabilistic automata with SMT solving

SMT-based validation & verification of UML-OCL models

Hochschulschrift

SMT-based validation & verification of UML-OCL models

Integrating virtual substitution into strategic SMT solving

Integrating virtual substitution into strategic SMT solving

Proving termination of probabilistic recursive programs via SMT-solving

Proving termination of probabilistic recursive programs via SMT-solving

Efficient SMT solving for bit vectors and the extensional theory of arrays

Hochschulschrift

Efficient SMT solving for bit vectors and the extensional theory of arrays

SMT

Graffiti | Streetart

SMT

SMT

Graffiti | Streetart

SMT

SMT

Graffiti | Streetart

SMT

SMT

Graffiti | Streetart

SMT

SMT!

Graffiti | Streetart

SMT!

Verbundene Objekte