Design and validation of computer protocols
Design and validation of computer protocols
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Testing methods for SDL systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Methodology for real time systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Specifying and Verifying the Steam-Boiler Problem with SPIN
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
From Architecture Down to Implementation of Safe Process Control Applications
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
Hi-index | 0.00 |
Validating and testing programs has received a lot of attention these last years and several techniques such as exhaustive search and Random Walk validation have been proposed. However, exhaustive search techniques are only usable for small programs. The only way to cope with complex industrial applications is based on heuristics such as the Random Walk validation techniques. In this paper we present a method that allows us to apply the Random Walk validation techniques to programs written in a concurrent version of C++, named sC++. The main advantages of this approach are that we avoid rewriting the program code between the different development phases and it enables us to validate our implementation at different stages of the development with little effort.