Login / Signup

Automatic Model Building and Verification of Embedded Software with UPPAAL.

Xiaoli GongJie MaQingcheng LiJin Zhang
Published in: TrustCom (2011)
Keyphrases
  • multi agent systems
  • embedded software
  • model checking
  • embedded systems
  • software architecture
  • development projects
  • model checker
  • formal methods
  • formal specification
  • active databases
  • formal verification