1078 search results - page 33 / 216 » Modelling and Verifying of e-Commerce Systems |
APN
2003
Springer
15 years 5 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...
APLAS
2004
ACM
15 years 3 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 ...
WSC
1997
15 years 1 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...
WSC
1998
15 years 1 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...
VMCAI
2004
Springer
15 years 5 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...