Model Checking Software with First Order Logic Specifications Using AIG Solvers
No Thumbnail Available
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