Login / Signup

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.

João F. FerreiraGuanhua HeShengchao Qin
Published in: TASE (2012)
Keyphrases
  • automated verification
  • model checking
  • automated reasoning
  • formal verification
  • scheduling algorithm
  • temporal logic
  • graph theory
  • data sets
  • database
  • data mining
  • website
  • case study
  • response time
  • graphical models