Proofs in Parameterized Specification.

Hélène Kirchner

Published in: RTA (1991)

Keyphrases

high level
theorem proving
database
theorem prover
case study
user defined
specification language
formal verification
formal language
reactive systems
website
expert systems
business rules
formal proof