Login / Signup

Multi-Valued Reasoning about Reactive Systems.

Orna Kupferman
Published in: Found. Trends Theor. Comput. Sci. (2022)
Keyphrases
  • multi valued
  • reactive systems
  • model checking
  • single valued
  • temporal logic
  • formal methods
  • information flow
  • petri net
  • normal form
  • real time systems
  • control flow
  • boolean functions
  • web services