Login / Signup
Geometric logic as a Specification Language.
Steven Vickers
Published in:
Theory and Formal Methods (1994)
Keyphrases
</>
specification language
formal specification
programming language
description language
model checker
logic programming
symbolic execution
software environment
database
open source
modal logic
requirements specification
model checking
case study
geometric structure
expert systems
knowledge base