Navigation

  • index
  • next |
  • previous |
  • mCRL2 202206.1 documentation »
  • Developer page of the mCRL2 toolset »
  • mCRL2 library documentation »
  • Modal formulas
  • Home
  • Download
  • User documentation
  • Support
  • Publications
  • Showcases
  • Developer documentation

Modal formulasΒΆ

The modal formulas library contains classes and algorithms to represent and manipulate modal formulas using the modal mu-calculus with data and time. The code in this library is contained in the namespaces action_formulas, state_formulas and regular formulas.

Logo

Previous topic

mcrl2/lts/transition.h

Next topic

Reference

This page

  • Show Source

Quick search

© Copyright 2011-2023, Technische Universiteit Eindhoven. Created using Sphinx 1.8.5.