460 search results - page 3 / 92 » Translating Software Designs for Model Checking |
I3E
2001
13 years 7 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
SPIN
2004
Springer
13 years 11 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
EUROMICRO
2009
IEEE
14 years 11 days ago
2009
IEEE
ESOP
2003
Springer
13 years 11 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...