2291 search results - page 104 / 459 » Logic Programming and Model Checking |
113
Voted
QSIC
2007
IEEE
15 years 8 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
127
click to vote
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
118
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
146
click to vote
ENTCS
2007
15 years 2 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
108
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...