2291 search results - page 114 / 459 » Logic Programming and Model Checking |
101
Voted
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
124
Voted
AMI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
133
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
127
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
111
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...