Search
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 ...