MetateM: An introduction |
| |
| Authors: | H. Barringer M. Fisher D. Gabbay G. Gough R. Owens |
| |
| Affiliation: | (1) Department of Computer Science, University of Manchester, Manchester;(2) Department of Computing, Manchester Metropolitan University, Chester Street, M 5GD Manchester, UK;(3) Department of Computing, Imperial College of Science, Technology and Medicine, London;(4) Nomura Research Institute Europe Ltd., London |
| |
| Abstract: | In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics. |
| |
| Keywords: | Modal and temporal logics Reactive systems Specification Prototyping Mechanical verification Non-procedural languages Logic programming |
| 本文献已被 SpringerLink 等数据库收录！ |
|
