Browsing Computer Science (CS) by Subject "#SAT problem"
Now showing items 1-1 of 1
-
Incremental Verification of Timing Constraints for Real-Time Systems
(2005-01)Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...