262 search results - page 17 / 53 » Verifying Web Applications Using Bounded Model Checking |
WWW
2005
ACM
16 years 10 days ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
89
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
88
Voted
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
101
Voted
ACSC
2007
IEEE
15 years 3 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...