Keyword:Satisfiability Modulo Theory

Papers
SMT-Based Translation Validation for Machine Learning Compiler Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee EasyChair Preprint no. 8632
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Conflict-Driven Reasoning Maria Paola Bonacina In:Automated Formal Methods
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems Fedor Shmarov and Paolo Zuliani In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015