1492 search results - page 80 / 299 » Automatic Software Model Checking Using CLP |
123
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
147
click to vote
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
107
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
129
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...