Model Checking Software with First Order Logic Specifications Using AIG Solvers
Year: 2016
Type: article
Authors: Mohammad A. Noureddine, Fadi A. Zaraket
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: American University of Beirut
OpenAlex ID: W2344078574