O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Katz S, Peled D. An efficient verification method for parallel and distributed programs. In: deBakker, et al., eds. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Springer; 1988:. LNCS.

Kesten Y, Pnueli A. A complete axiomatization of qptl. In: Proc. 10th Ann. IEEE Symp. on Logic in Computer Science (LICS '95). 1995:2–12.

Kimura S. Residue BDD and its application to the verification of arithmetic circuits. In: Proc. 32nd Int. Design Automation Conference (DAC '95). 1995.

Kindred D, Wing JM. Fast, automatic checking of security protocols. In: USENIX 2nd Workshop on Electronic Commerce. 1996.

Kozen D. Results on the propositional µ-calculus. Theoretical Computer Science. 1983;27:333–354.

Kozen D, Parikh ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required