Search Sciweavers | Sciweavers

193 search results - page 6 / 39

» Automated Reasoning in Kleene Algebra

163

click to vote

ENTCS
2008

125views more ENTCS 2008»

Can Refinement be Automated?

15 years 6 months ago

Download www.informatik.uni-augsburg.de

We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...

Peter Höfner, Georg Struth

claim paper

Read More »

134

click to vote

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

15 years 11 months ago

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

160

click to vote

JLP
2011

160views more JLP 2011»

Axiomatizability of representable domain algebras

15 years 26 days ago

Download www.cs.ucl.ac.uk

The family of domain algebras provide an elegant formal system for automated reasoning about programme veriﬁcation. Their primary models are algebras of relations, viz. represen...

Robin Hirsch, Szabolcs Mikulás

claim paper

Read More »

136

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 9 months ago