2291 search results - page 178 / 459 » Logic Programming and Model Checking |
145
click to vote
TAP
2010
Springer
15 years 23 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
124
click to vote
AAAI
2008
15 years 5 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
116
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
115
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
349
click to vote
DAC
2012
ACM
13 years 5 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...