Mark C. Pichora

According to our database, Mark C. Pichora authored at least 2 papers in 1998.

Collaborative distances:

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

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe

Proceedings of the International Workshop Tool Support for System Specification, 1998

Deciding Fixed and Non-fixed Size Bit-vectors.

Nikolaj S. Bjørner, Mark C. Pichora

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998