Login / Signup

Correct-by-Construction Approach for Formal Verification of IoT Architecture.

Zinah Hussein TomanLazhar HamelSarah Hussein TomanMohamed Graiet
Published in: KES (2022)
Keyphrases
  • formal verification
  • management system
  • model checking
  • symbolic model checking
  • model checker
  • bounded model checking
  • program slicing
  • automated verification
  • real time
  • construction process
  • database systems