2282 search results - page 209 / 457 » Active property checking |
170
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
170
Voted
ENTCS
2010
15 years 5 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
152
click to vote
FMSD
2008
15 years 5 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
127
click to vote
CL
2006
Springer
15 years 5 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
126
click to vote
ESWA
2002
15 years 4 months ago
2002
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...