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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
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

Creator
Contributor
SpringerLink (Online service)

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

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Other Objects (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!

Related objects