790 search results - page 44 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
101
click to vote
ICALP
2007
Springer
15 years 8 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 ...
116
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
110
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
122
click to vote
POPL
2004
ACM
15 years 7 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
115
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...