Sciweavers

Share
MEMOCODE
2003
IEEE

Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design

10 years 8 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languages on the other. However, not all such logics are equally well suited for the task. This paper gives some requirements that seem important for a computational logic to be suitable in practice, and discusses the experience with rewriting logic, its Maude language implementation, and its formal tool environment, concluding that they seem to meet well those requirements.
José Meseguer
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where MEMOCODE
Authors José Meseguer
Comments (0)
books