Data flow analysis theory and practice Yazar: Khedker, Uday

Principles of model checking Yazar: Baier, Christel

Table of contents only

Verification of systems and circuits using LOTOS, Petri Nets, and CCS Yazar: Yoeli, Michael 1917-

Verification, validation and testing in software engineering

Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request

Verification, validation and testing in software engineering

Available for University of the Philippines Diliman via Gale Virtual Reference Library. Click here to access

Software inspection an industry best practice Yazar: Wheeler, David A.

Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism Yazar: Rao, Josyula Ramachandra 1962-

Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Verification and validation of rule-based expert systems Yazar: Smith, Suzanne 1953-