• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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