WRLA 2010 - PDF Preprint Papers

WRLA 2010 International Workshop on Rewriting Logic and its Applications

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed WRLA-2010 Paper

click to vote

WRLA
2010

55views Logical Reasoning» more WRLA 2010»

The Linear Temporal Logic of Rewriting Maude Model Checker

1 years 3 months ago

Download www.cs.uiuc.edu

Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...

Kyungmin Bae, José Meseguer

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	55	The Linear Temporal Logic of Rewriting Maude Model Checker	claim
2	42	The Third Rewrite Engines Competition	claim
3	39	Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding	claim
4	38	A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications	claim
5	33	K-Maude: A Rewriting Based Tool for Semantics of Programming Languages	claim
6	32	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories	claim
7	30	Folding Variant Narrowing and Optimal Variant Termination	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers