100 search results - page 17 / 20 » Linear-Time Model Checking: Automata Theory in Practice |
103
click to vote
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
117
click to vote
ENTCS
2010
15 years 11 days 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...
106
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
210
Voted
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...