AMAST 2010 - PDF Preprint Papers

AMAST 2010 International Conference on Algebraic Methodology and Software Technology

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AMAST-2010 Paper

click to vote

AMAST
2010
Springer

54views Software Engineering» more AMAST 2010»

Integrating Maude into Hets

1 years 5 days ago

Download www.informatik.uni-bremen.de

Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...

Mihai Codescu, Till Mossakowski, Adrián Rie...

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.

Related Conferences

Id	Views	Title	Status
1	54	Integrating Maude into Hets	claim
2	54	Type Fusion	claim
3	49	Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming	claim
4	49	Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra	claim
5	48	A Complete Declarative Debugger for Maude	claim
6	45	Learning in a Changing World, an Algebraic Modal Logical Approach	claim
7	44	Matching Logic: An Alternative to Hoare/Floyd Logic	claim
8	39	Program Calculation in Coq	claim
9	38	Proving Termination Properties with mu-term	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers