Integration of SMT-solvers in B and Event-B development environments

DOI10.1016/j.scico.2011.03.007zbMath1264.68056OpenAlexW2015311114MaRDI QIDQ1951640

David Déharbe

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.007

zbMATH Keywords

formal methodsEvent-BSMT-solving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

SMT-based generation of symbolic automata ⋮ Verification of distributed systems with the axiomatic system of MSVL

Uses Software

• Rodin
• veriT

This page was built for publication: Integration of SMT-solvers in B and Event-B development environments