Gregory H. Chisholm

Formal system specification and testing of image processing/computer vision algorithms

Andrew C. Segal, John Quintas, Robert Kero, 1993, Electronic Imaging.

An automated reasoning problem associated with proving claims about programs using Floyd-Hoare inductive assertion methods

Anthony S. Wojcik, Brian T. Smith, Gregory H. Chisholm, 2004, Journal of Automated Reasoning.

An Application of Formal Analysis to Software in a Fault-Tolerant Environment

Anthony S. Wojcik, Gregory H. Chisholm, 1999, IEEE Trans. Computers.

Identifying high-level components in combinational circuits

Travis E. Doom, Anthony S. Wojcik, Gregory H. Chisholm, 1998, Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).