Advertisement

Model Checking

  • Olivier Gasquet
  • Andreas Herzig
  • Bilal Said
  • François Schwarzentruber
Part of the Studies in Universal Logic book series (SUL)

Abstract

This chapter shows how to implement model checking in LoTREC. There are two reasons why this topic is placed here: first, the implementation of model checking in LoTREC requires us to extend the tagging primitives of Chap.  5; second, model checking is going to be used in the next chapter.

Keywords

Mathematical Logic Model Check Model Construction Construction Method Pointed Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Basel AG 2014

Authors and Affiliations

  • Olivier Gasquet
    • 1
  • Andreas Herzig
    • 1
  • Bilal Said
    • 1
  • François Schwarzentruber
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse (IRIT)Université Paul SabatierToulouseFrance

Personalised recommendations