@inproceedings{cb267163fb2243069911fa79d5bc6462,
title = "Executable computational logics: Combining formal methods and programming language based system design",
abstract = "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.",
keywords = "Bridges, Computer languages, Computer science, Convergence, Hardware, Logic design, Logic programming, Mathematical model, Mathematics, Military computing",
author = "J. Meseguer",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003 ; Conference date: 24-06-2003 Through 26-06-2003",
year = "2003",
doi = "10.1109/MEMCOD.2003.1210081",
language = "English (US)",
series = "Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "3--9",
booktitle = "Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003",
address = "United States",
}