MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens

Research output: Contribution to journalArticlepeer-review

52 Scopus citations

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, called MetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the MetateM approach to executable logics.

Original languageEnglish
Pages (from-to)533-549
Number of pages17
JournalFormal Aspects of Computing
Volume7
Issue number5
DOIs
StatePublished - Sep 1995
Externally publishedYes

Keywords

  • Logic programming
  • Mechanical verification
  • Modal and temporal logics
  • Non-procedural languages
  • Prototyping
  • Reactive systems
  • Specification

Fingerprint

Dive into the research topics of 'MetateM: An introduction'. Together they form a unique fingerprint.

Cite this