519 search results - page 26 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
149
click to vote
ISSS
1998
IEEE
15 years 8 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
149
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
144
click to vote
DLOG
2006
15 years 5 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
167
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
148
click to vote
TJS
2010
15 years 2 months ago
2010
This paper presents a novel host-based combinatorial method based on k-Means clustering and ID3 decision tree learning algorithms for unsupervised classification of anomalous and ...