Related references
Note: Only part of the references are listed.A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
Hamada Ibrhim et al.
BUILDING AND ENVIRONMENT (2020)
A Unifying View on SMT-Based Software Verification
Dirk Beyer et al.
JOURNAL OF AUTOMATED REASONING (2018)
BTOR2, BtorMC and Boolector 3.0
Aina Niemetz et al.
COMPUTER AIDED VERIFICATION (CAV 2018), PT I (2018)
metaSMT: focus on your application and not on solver integration
Heinz Riener et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2017)
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez et al.
SCALA'17: PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA (2017)
JavaSMT: A Unified Interface for SMT Solvers in Java
Egor George Karpenkov et al.
VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2016 (2016)
OptiMathSAT: A Tool for Optimization Modulo Theories
Roberto Sebastiani et al.
COMPUTER AIDED VERIFICATION, PT I (2015)
Boosting k-Induction with Continuously-Refined Invariants
Dirk Beyer et al.
COMPUTER AIDED VERIFICATION, PT I (2015)
Software model checking
Ranjit Jhala et al.
ACM COMPUTING SURVEYS (2009)