Browsing Singapore-MIT Alliance (SMA) by Subject "#SAT problem"

Now showing items 1-1 of 1

    • Incremental Verification of Timing Constraints for Real-Time Systems 

      Andrei, Å tefan; Chin, Wei Ngan; Rinard, Martin C. (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 ...