1799 search results - page 130 / 360 » The Logic of Correctness in Software Engineering |
174
click to vote
ICSEA
2007
IEEE
16 years 17 days ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
151
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
210
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
174
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
151
click to vote
FSTTCS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...