Anthony McIsaac

Reasoning with Temporal Logic on Truncated Paths

Dana Fisman, Cindy Eisner, Yoad Lustig, 2003, CAV.

Model Checking in a Microprocessor Design Project

Anthony McIsaac, Geoff Barrett, G. Barrett, 1997, CAV.

A Semantic Condition for Data Independence and Applications in Hardware Verification

Anthony McIsaac, Lyes Benalycherif, 2009, Electron. Notes Theor. Comput. Sci..

The Definition of a Temporal Clock Operator

Dana Fisman, Cindy Eisner, John Havlicek, 2003, ICALP.

Functional verification methodology of Chameleon processor

Christian Berthet, Anthony McIsaac, Mike Bartley, 1996, DAC '96.

Computer Aided Verification

Dana Fisman, Cindy Eisner, Yoad Lustig, 2003, Lecture Notes in Computer Science.

Structured Approach to Property Specification and Verification of HW IP

Anthony McIsaac, Lyes Benalycherif, Neil Dunlop, 2007, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07).

A Formalization of Abstraction in LAMBDA

Anthony McIsaac, A. McIsaac, 1993, HUG.