Sciweavers

Share
193 search results - page 1 / 39
» Automated Reasoning in Kleene Algebra
Sort
View
LICS
2005
IEEE
11 years 7 months ago
Proof Theory for Kleene Algebra
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (in´Čünitary) proof system, ba...
Chris Hardin
CSL
1997
Springer
11 years 5 months ago
Equational Axioms of Test Algebra
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...
Marco Hollenberg
CADE
2007
Springer
12 years 1 months ago
Automated Reasoning in Kleene Algebra
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
Georg Struth, Peter Höfner
books