Search alternatives:
"proving" » "improving", "province"

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...: x86 Assembler Simulated in C Powered by Automated Theorem Proving -- Evolving Specification...

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive...

3
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... Invariant Analyzer Tool -- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs...