Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
Stefan AndreiAlbert Mo Kim ChengWei-Ngan ChinMihai LupuPublished in: IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- satisfiability problem
- architectural model
- computational complexity
- propositional logic
- real time database systems
- np complete
- mission critical
- timing constraints
- real time embedded
- model based diagnosis
- object oriented programming language
- artificial intelligence
- satisfiability testing
- machine learning