1809 search results - page 52 / 362 » Software Model Checking Using Linear Constraints |
ANNPR
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
STTT
2010
13 years 3 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...