Formal verification for embedded software with cognitive environment modelling.

Qingdi Meng Lianyi Zhang Guiming Luo

Published in: ICCI*CC (2014)

Keyphrases

formal verification
embedded software
model checking
real time
software architecture
development projects
automated verification
model checker
symbolic model checking
embedded systems
bounded model checking
dynamic environments
decision making
autonomous agents