Login / Signup

Bounded model checking of Contiki applications.

Thilo VörtlerSteffen RülkePetra Hofstedt
Published in: DDECS (2012)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems