Search Sciweavers | Sciweavers

55 search results - page 4 / 11

» Maude MSOS Tool

107

click to vote

FASE
2006
Springer

144views Software Engineering» more FASE 2006»

Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude

15 years 1 months ago

Download pertsserver.cs.uiuc.edu

This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...

Peter Csaba Ölveczky, Marco Caccamo

claim paper

Read More »

click to vote

ENTCS
2006

114views more ENTCS 2006»

Prototyping SOS Meta-theory in Maude

14 years 9 months ago

Download www.win.tue.nl

We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...

Mohammad Reza Mousavi, Michel A. Reniers

claim paper

Read More »

Voted

CALCO
2009
Springer

132views Mathematics» more CALCO 2009»

The Priced-Timed Maude Tool

15 years 2 months ago