Wijtse Rekker - Designing a property language for a model checker

author:Wijtse Rekker
title:Designing a property language for a model checker
keywords:property language, temporal logic, compiler construction
topics:Languages, Logics and semantics
committee:prof.dr. J.C. van de Pol (1st supervisor)
empty field
graduation date:1 July 2018


Abstract

References

  1. LTSmin website (Digital version available here)
  2. An example temporal logic (Digital version available here)
  3. LTSmin on github (Digital version available here)

Additional Resources