Abstract
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.
Keywords
Download to read the full chapter text
Chapter PDF
References
Savoia, R. (1995). A State Space Generation tool for LOTOS specifications.
Technical Research Centre of Finland, VTT Publications 241.99 pages. Soininen, J-P., Saarikettu, J. & Huttunen, T. (1995). Specification of State Reachability Analysis Method. Cobra EP-8135 Project Report. VTT Electronics. 44 pages.
Valmari, A. & Savoia, R. (1995). Verification of the behaviour of Reactive Software with CFFD-Semantics and ARA Tools. Proceedings of an International Symposium on On-board Real-time Software, ESTEC, Noordwijk, The Netherlands, 13–15 November 1995, ESA SP-375, pp. 173180.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Soininen, JP., Saarikettu, J., Veijalainen, V., Huttunen, T. (1997). TripleS — A Formal Validation Environment for Functional Specifications. In: Kloos, C.D., Cerny, E. (eds) Hardware Description Languages and their Applications. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35064-6_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35064-6_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5387-5
Online ISBN: 978-0-387-35064-6
eBook Packages: Springer Book Archive