Keyword:Satisfiability Modulo Theory

Publications
SMT-Based Translation Validation for Machine Learning Compiler Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee EasyChair Preprint 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