Mark C. Pichora

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Nikolaj Bjørner, Mark C. Pichora
Deiding Fixed and Non-fixed Size Bit-vectors. TACAS (1998)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)