262 search results - page 2 / 53 » Verifying Web Applications Using Bounded Model Checking |
117
Voted
FMOODS
2007
15 years 2 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
110
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
112
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
117
Voted
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
103
Voted
JIISIC
2008
15 years 2 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...