Model Checking Software with First Order Logic Specifications Using AIG Solvers
Files
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
741-763 p. ; 2.715ko.
Keywords
Génie logiciel, Logiciels : vérification, Solveurs (logiciels), Solveurs de satisfabilité booléenne