Sciweavers

23

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

14 years 4 months ago

Canonical Institutions of Behaviour

Download www.cs.math.ist.utl.pt

José Félix Costa, Hugo Lourenç...

claim paper

Read More »

32

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

14 years 4 months ago

Presentations for Abstract Context Institutions

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

42

WADT
2001
Springer

106views Software Engineering» more WADT 2001»

Verifying a Simple Pipelined Microprocessor Using Maude

14 years 4 months ago

Verifying a Simple Pipelined Microprocessor Using Maude

Download www-compsci.swan.ac.uk

Abstract. We consider the veriﬁcation of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...

Neal A. Harman

claim paper

Read More »