MetateM: A framework for programming in temporal logic

Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough, Richard Owens

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

63 Scopus citations


In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a prepositional temporal logic and for a restricted first order temporal logic.

Original languageEnglish
Title of host publicationStepwise Refinement of Distributed Systems
Subtitle of host publicationModels, Formalisms, Correctness - REX Workshop, 1989, Proceedings
EditorsJ.W. de Bakker, W.-P. de Roever, G. Rozenberg
PublisherSpringer Verlag
Number of pages36
ISBN (Print)9783540525592
StatePublished - 1990
Externally publishedYes
EventREX Workshop on Stepwise Refinement of Distributed Systems, 1989 - Mook, Netherlands
Duration: 29 May 19892 Jun 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume430 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceREX Workshop on Stepwise Refinement of Distributed Systems, 1989

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1990.


  • Logic Programming
  • Mechanical Verification
  • Modal and Temporal Logics
  • Non-procedural Languages
  • Prototyping
  • Reactive Systems
  • Rule-based Systems
  • Specification
  • Synthesis
  • Verification


Dive into the research topics of 'MetateM: A framework for programming in temporal logic'. Together they form a unique fingerprint.

Cite this