Anthony McIsaac

According to our database, Anthony McIsaac authored at least 7 papers between 1993 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

A Semantic Condition for Data Independence and Applications in Hardware Verification.

Lyes Benalycherif, Anthony McIsaac

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

Structured Approach to Property Specification and Verification of HW IP.

Lyes Benalycherif, Anthony McIsaac, Neil Dunlop

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

2003

The Definition of a Temporal Clock Operator.

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Reasoning with Temporal Logic on Truncated Paths.

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

1997

Model Checking in a Microprocessor Design Project.

Geoff Barrett, Anthony McIsaac

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Functional Verification Methodology of Chameleon Processor.

Françoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, François Pogodalla, Frédéric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Gérard Mas, Geoff Barrett, Christian Berthet

Proceedings of the 33st Conference on Design Automation, 1996

1993

A Formalization of Abstraction in LAMBDA.

Anthony McIsaac

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993