1078 search results - page 33 / 216 » Modelling and Verifying of e-Commerce Systems |
133
click to vote
APN
2003
Springer
15 years 11 months ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
155
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
141
Voted
WSC
1997
15 years 7 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
153
click to vote
WSC
1998
15 years 7 months ago
1998
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
155
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...