Login / Signup

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.

Bas PloegerWieger WesselinkTim A. C. Willemse
Published in: Inf. Comput. (2011)
Keyphrases
  • reactive systems
  • model checking
  • formal methods
  • social networks
  • expert systems
  • distributed systems
  • boolean functions
  • user interface
  • knowledge based systems
  • real valued
  • multimodal biometrics