Tool Interoperability in the Maude Formal Environment
作者： Francisco Durán , Camilo Rocha , José M Álvarez , None
DOI: 10.1007/978-3-642-22944-2_30
关键词:
摘要: We present the Maude Formal Environment (MFE), an executable formal specification in within which a user can seamlessly interact with Termination Tool, Sufficient Completeness Checker, Church-Rosser Coherence and Inductive Theorem Prover. explain high-level design decisions behind MFE, give summarized account of its main features, illustrate example interoperation tools available current release.
springer.com
sci-hub.st 参考文章(19)
Camilo Rocha, José Meseguer, Constructors, sufficient completeness, and deadlock freedom of rewrite theories international conference on logic programming. ,vol. 6397, pp. 594- 609 ,(2010) , 10.1007/978-3-642-16242-8_42
Francisco Durán, José Meseguer, A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories Rewriting Logic and Its Applications. pp. 86- 103 ,(2010) , 10.1007/978-3-642-16310-4_7
Francisco Durán, José Meseguer, A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications Rewriting Logic and Its Applications. pp. 69- 85 ,(2010) , 10.1007/978-3-642-16310-4_6
P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson, Secure Synthesis of Code: A Process Improvement Experiment formal methods. pp. 1816- 1835 ,(1999) , 10.1007/3-540-48118-4_46
Narciso Martí-Oliet, Carolyn Talcott, Steven Eker, Patrick Lincoln, Francisco Durán, José Meseguer, Manuel Clavel, All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic ,(2007)
Camilo Rocha, José Meseguer, Proving Safety Properties of Rewrite Theories Algebra and Coalgebra in Computer Science. pp. 314- 328 ,(2011) , 10.1007/978-3-642-22944-2_22
M. Clavel, F. Durán, S. Eker, J. Meseguer, M. O. Stehr, Maude as a Formal Meta-tool formal methods. pp. 1684- 1703 ,(1999) , 10.1007/3-540-48118-4_39
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Ölveczky, None, The maude formal tool environment conference on algebra and coalgebra in computer science. pp. 173- 178 ,(2007) , 10.1007/978-3-540-73859-6_12
Ian Hodkinson, Frank Wolter, Michael Zakharyaschev, Monodic fragments of first-order temporal logics: 2000-2001 A.D international conference on logic programming. pp. 1- 23 ,(2001) , 10.1007/3-540-45653-8_1
Jose Meseguer, Joseph D. Hendrix, Decision procedures for equationally based reasoning University of Illinois at Urbana-Champaign. ,(2008)