Login / Signup
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks.
Pao-Ann Hsiung
Win-Bin See
Trong-Yen Lee
Jih-Ming Fu
Sao-Jie Chen
Published in:
APSEC (2001)
Keyphrases
</>
formal verification
real time
low cost
software application
embedded systems
program slicing
real time systems
model checking
software platform
artificial intelligence
software development
high speed
belief revision
software maintenance
source code
software engineering
fault localization
control software