449 search results - page 4 / 90 » Model Checking Large Software Specifications |
144
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
124
Voted
FAC
2008
15 years 2 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
130
click to vote
FSTTCS
2010
Springer
15 years 16 days ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
150
Voted
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
150
Voted
ICST
2009
IEEE
15 years 8 days ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...