Search Sciweavers | Sciweavers

16

AIMS
2007
Springer

89views Computer Networks» more AIMS 2007»

Understanding Promise Theory Using Rewriting Logic

14 years 1 months ago

We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...

Kyrre M. Begnum, Mark Burgess

claim paper

Read More »

32

click to vote

FMOODS
2007

158views Formal Methods» more FMOODS 2007»

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude

13 years 8 months ago

Download heim.ifi.uio.no

This paper describes the application of Real-Time Maude to the formal speciﬁcation, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...

Peter Csaba Ölveczky, Stian Thorvaldsen

claim paper

Read More »

29

click to vote

JOT
2007

169views more JOT 2007»

Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols

13 years 7 months ago

Download www.jot.fm

Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...

Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...

claim paper

Read More »

21

click to vote

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

13 years 8 months ago