4513 search results - page 551 / 903 » Logic programming with satisfiability |
121
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
115
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
139
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...
146
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...
137
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...