Sign in

Partial order reduction for state/event LTL with application to component-interaction automata.

Nikola BenesLubos BrimBarbora BuhnovaIvana CernáJiri SochorPavlína Vareková
Published in: Sci. Comput. Program. (2011)
Keyphrases
  • model checking
  • partial order reduction
  • temporal logic
  • finite state machines
  • database
  • cellular automata
  • information systems
  • case study
  • database systems
  • decision support
  • user interaction
  • human computer interaction