Overview of Automated Reasoning in Serbia

Predrag Janičić

Displaying similar documents to “Overview of Automated Reasoning in Serbia”

Logic in Central and Eastern Europe. The Social Context

Andrew Schumann (2012)

Review of the National Center for Digitization

Similarity:

Slovenian Competitions in Logic

Izidor Hafner (2012)

Review of the National Center for Digitization

Similarity:

Some key research problems in automated theorem proving for hardware and software verification.

Matt Kaufmann, J. Strother Moore (2004)

RACSAM

Similarity:

This paper sketches the state of the art in the application of mechanical theorem provers to the verification of commercial computer hardware and software. While the paper focuses on the theorem proving system ACL2, developed by the two authors, it references much related work in formal methods. The paper is intended to satisfy the curiosity of readers interested in logic and artificial intelligence as to the role of mechanized theorem proving in hardware and software design today. In...