KAT and PHL in Coq.

David Pereira Nelma Moreira

Published in: Comput. Sci. Inf. Syst. (2008)

Keyphrases

formal methods
theorem prover
case study
web services
relational databases
test cases
expert systems
formal specification
xml documents