Login / Signup

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).

Marius BozgaConrado DawsOded MalerAlfredo OliveroStavros TripakisSergio Yovine
Published in: FTRTFT (1998)
Keyphrases
  • model checking
  • real time systems
  • timed automata
  • formal specification
  • finite state
  • formal verification
  • model checker
  • embedded systems
  • architectural model