Login / Signup

Temporal logic with "Until", functional reactive programming with processes, and concrete process categories.

Wolfgang Jeltsch
Published in: PLPV (2013)
Keyphrases
  • temporal logic
  • reactive systems
  • process model
  • model checking
  • verification method
  • artificial intelligence
  • satisfiability problem
  • modal logic
  • computation tree logic
  • data exchange
  • linear temporal logic