Login / Signup

Cut Set Analysis using Behavior Trees and model checking.

Peter A. LindsayNisansala YatapanageKirsten Winter
Published in: Formal Aspects Comput. (2012)
Keyphrases
  • model checking
  • dynamic analysis
  • temporal logic
  • formal verification
  • formal specification
  • reverse engineering
  • finite state machines
  • automated verification
  • partial order reduction