A Proof Assistant for Alloy Specifications.
Mattias UlbrichUlrich GeilmannAboubakr Achraf El GhaziMana TaghdiriPublished in: TACAS (2012)
Keyphrases
- test bed
- delay insensitive
- mechanical properties
- high level
- recursive programs
- theorem prover
- theorem proving
- formal specification
- proof search
- specification language
- automated theorem proving
- geometry theorem proving
- database
- room temperature
- natural deduction
- linear logic
- formal language
- finite state machines
- programming language
- multiscale
- search engine