Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs.
Thomas P. MurtaghPublished in: ICDCS (1986)
Keyphrases
- computer programs
- theorem proving
- formal proofs
- theorem prover
- mathematical proofs
- constraint satisfaction problems
- natural deduction
- special case
- equational theories
- formal proof
- computer algebra
- decomposition methods
- mathematical knowledge
- multipath
- constraint satisfaction
- automated theorem provers
- information systems