MetateM: An introduction

@article{Barringer2005MetateMAI,
  title={MetateM: An introduction},
  author={H. Barringer and Michael Fisher and D. Gabbay and G. Gough and R. Owens},
  journal={Formal Aspects of Computing},
  year={2005},
  volume={7},
  pages={533-549}
}
  • H. Barringer, Michael Fisher, +2 authors R. Owens
  • Published 2005
  • Computer Science
  • Formal Aspects of Computing
  • 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. 

    Figures and Topics from this paper.

    Rule-Based Runtime Verification
    • 373
    • PDF
    Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)
    • 12
    • PDF
    Operational semantics of Framed Tempura
    • 30
    • PDF
    Rule-based runtime verification revisited
    • 87
    • PDF
    MetateM: The Story so Far
    • 62
    • PDF
    Temporal Assertions with Parametrised Propositions
    • 25
    • PDF
    Temporal Development Methods for Agent-Based
    • 44
    Combining test case generation and runtime verification
    • 109
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 51 REFERENCES