Back to Search Start Over

Automatic debugging of real-time systems based on incremental satisfiability counting

Authors :
Andrei, Stefan
Wei Ngan Chin
Cheng, Albert Mo Kim
Lupu, Mihai
Source :
IEEE Transactions on Computers. July, 2006, Vol. 55 Issue 7, p830, 13 p.
Publication Year :
2006

Subjects

Subjects :
Real-time system
Embedded system
System on a chip
Real-time control -- Usage
Real-time systems -- Usage
Embedded systems -- Analysis
Debugging -- Analysis

Details

Language :
English
ISSN :
00189340
Volume :
55
Issue :
7
Database :
Gale General OneFile
Journal :
IEEE Transactions on Computers
Publication Type :
Academic Journal
Accession number :
edsgcl.148121026

Tools

Authors Abstract Subjects Details