Search Sciweavers | Sciweavers

This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal speciﬁcation and analysis of object-...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

click to vote

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

14 years 11 months ago

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M...

claim paper

Read More »

click to vote

ENTCS
2007

75views more ENTCS 2007»

Maude MSOS Tool

14 years 11 months ago

Download maude-msos-tool.sourceforge.net

Fabricio Chalub, Christiano Braga

claim paper

Read More »

106

click to vote

ENTCS
2007

158views more ENTCS 2007»

Abstraction and Completeness for Real-Time Maude

14 years 11 months ago

Download folk.uio.no

ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

« Prev « First page 3 / 7 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers