12981 search results - page 295 / 2597 » Model Checking (Abstract) |
147
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
164
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
216
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
170
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
290
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...