Athena Resources
Learn
- Fundamental Proof Methods in Computer Science (the original textbook with comprehensive coverage)
- Athena Documentation (with tutorials & reference docs)
- Theorem Proving in Athena (an extended guided tutorial for new Athena users)
Courses using Athena
Papers
- Denotational Proof Languages
- Structured Reasoning about Actor Systems
- Formal Verification of Decentralized Coordination in Autonomous Multi-Agent Aerospace Systems
- An Integrated Proof Language for Imperative Programs
- Certified Computation
- On Verifying a Filesystem Implementation
- Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task
- Slate: An Argument-Centered Intelligent Assistant to Human Reasoners