Search Sciweavers | Sciweavers

10

AIMS
2007
Springer

89views Computer Networks» more AIMS 2007»

Understanding Promise Theory Using Rewriting Logic

13 years 11 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 »

21

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 6 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 »

21

click to vote

JOT
2007

169views more JOT 2007»

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

13 years 4 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 »

14

click to vote

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

13 years 6 months ago