The Circus Testing Theory Revisited in Isabelle/HOL.

Abderrahmane Feliachi Marie-Claude Gaudel Makarius Wenzel Burkhart Wolff

Published in: ICFEM (2013)

Keyphrases

theorem prover
natural deduction
formal methods
databases
theoretical basis
database
real time
neural network
information systems
software engineering
theoretical framework
information theory