Login / Signup
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
Stefan Andrei
Wei-Ngan Chin
Albert Mo Kim Cheng
Mihai Lupu
Published in:
IEEE Trans. Computers (2006)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
np complete
computational complexity
low cost
timing constraints
case study
high level
satisfiability problem
object oriented programming language
embedded real time systems