109
Voted
WADT
2001
Springer
15 years 10 months ago
2001
Springer
137
Voted
WADT
2001
Springer
15 years 10 months ago
2001
Springer
165
Voted
WADT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...