Login / Signup

Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).

Youngsik KimShekhar KopuriNazanin Mansouri
Published in: ISQED (2004)
Keyphrases
  • formal verification
  • finite state machines
  • model checking
  • temporal logic
  • finite state automata
  • databases
  • scheduling problem
  • scheduling algorithm