Model Checking Software with First Order Logic Specifications Using AIG Solvers

Noureddine, Mohammad A.; Zaraket, Fadi A.

dc.contributor.author	Noureddine, Mohammad A.
dc.contributor.author	Zaraket, Fadi A.
dc.date.accessioned	2022-10-24T09:50:27Z
dc.date.available	2022-10-24T09:50:27Z
dc.date.issued	2016
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9245
dc.description	741-763 p. ; 2.715ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.relation.ispartofseries	Institute of electrical and electronics engineers;vol.42-2016
dc.subject	Génie logiciel	en_US
dc.subject	Logiciels : vérification	en_US
dc.subject	Solveurs (logiciels)	en_US
dc.subject	Solveurs de satisfabilité booléenne	en_US
dc.title	Model Checking Software with First Order Logic Specifications Using AIG Solvers	en_US
dc.type	Article	en_US