TripleS — A Formal Validation Environment for Functional Specifications
J.-P. Soininen, J. Saarikettu, V. Veijalainen, Tuomo Huttunen · 1997
A TripleS formal validation environment for the analysis of functional specification is presented. The approach is based on the state space generation, model abstraction, data hiding and advanced analysis techniques.