TripleS - a formal validation environment for functional specifications

Juha-Pekka Soininen; Janne Saarikettu; Ville Veijalainen; Tuomo Huttunen

doi:10.1007/978-0-387-35064-6_9

TripleS - a formal validation environment for functional specifications

Juha-Pekka Soininen, Janne Saarikettu, Ville Veijalainen, Tuomo Huttunen

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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.

Original language	English
Title of host publication	Hardware description languages and their application
Subtitle of host publication	Specification, modelling, verification and synthesis of microelectronic systems
Editors	Carlos Delgado Roos, Eduard Cerny
Place of Publication	London
Pages	83-85
ISBN (Electronic)	978-0-387-35064-6
DOIs	https://doi.org/10.1007/978-0-387-35064-6_9
Publication status	Published - 1997
MoE publication type	A4 Article in a conference publication
Event	IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications - Toledo, Spain Duration: 20 Apr 1997 → 25 Apr 1997

Publication series

Series	IFIP International Federation for Information Processing
ISSN	1571-5736

Conference

Conference	IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications
Country/Territory	Spain
City	Toledo
Period	20/04/97 → 25/04/97

Access to Document

10.1007/978-0-387-35064-6_9

Cite this

Soininen, J.-P., Saarikettu, J., Veijalainen, V., & Huttunen, T. (1997). TripleS - a formal validation environment for functional specifications. In C. D. Roos, & E. Cerny (Eds.), Hardware description languages and their application: Specification, modelling, verification and synthesis of microelectronic systems (pp. 83-85). https://doi.org/10.1007/978-0-387-35064-6_9

Soininen, Juha-Pekka ; Saarikettu, Janne ; Veijalainen, Ville et al. / TripleS - a formal validation environment for functional specifications. Hardware description languages and their application: Specification, modelling, verification and synthesis of microelectronic systems. editor / Carlos Delgado Roos ; Eduard Cerny. London, 1997. pp. 83-85 (IFIP International Federation for Information Processing).

@inproceedings{6985dc86faea433f8961d2f45668c9e7,

title = "TripleS - a formal validation environment for functional specifications",

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.",

author = "Juha-Pekka Soininen and Janne Saarikettu and Ville Veijalainen and Tuomo Huttunen",

year = "1997",

doi = "10.1007/978-0-387-35064-6_9",

language = "English",

isbn = "978-0-412-78810-9",

series = "IFIP International Federation for Information Processing",

publisher = "Springer Science+Business Media",

pages = "83--85",

editor = "Roos, {Carlos Delgado} and Eduard Cerny",

booktitle = "Hardware description languages and their application",

note = "IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications ; Conference date: 20-04-1997 Through 25-04-1997",

}

Soininen, J-P, Saarikettu, J, Veijalainen, V & Huttunen, T 1997, TripleS - a formal validation environment for functional specifications. in CD Roos & E Cerny (eds), Hardware description languages and their application: Specification, modelling, verification and synthesis of microelectronic systems. London, IFIP International Federation for Information Processing, pp. 83-85, IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, Toledo, Spain, 20/04/97. https://doi.org/10.1007/978-0-387-35064-6_9

TripleS - a formal validation environment for functional specifications. / Soininen, Juha-Pekka; Saarikettu, Janne; Veijalainen, Ville et al.
Hardware description languages and their application: Specification, modelling, verification and synthesis of microelectronic systems. ed. / Carlos Delgado Roos; Eduard Cerny. London, 1997. p. 83-85 (IFIP International Federation for Information Processing).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - TripleS - a formal validation environment for functional specifications

AU - Soininen, Juha-Pekka

AU - Saarikettu, Janne

AU - Veijalainen, Ville

AU - Huttunen, Tuomo

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.1007/978-0-387-35064-6_9

DO - 10.1007/978-0-387-35064-6_9

M3 - Conference article in proceedings

SN - 978-0-412-78810-9

SN - 978-1-4757-5387-5

T3 - IFIP International Federation for Information Processing

SP - 83

EP - 85

BT - Hardware description languages and their application

A2 - Roos, Carlos Delgado

A2 - Cerny, Eduard

CY - London

T2 - IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications

Y2 - 20 April 1997 through 25 April 1997

ER -

Soininen JP, Saarikettu J, Veijalainen V, Huttunen T. TripleS - a formal validation environment for functional specifications. In Roos CD, Cerny E, editors, Hardware description languages and their application: Specification, modelling, verification and synthesis of microelectronic systems. London. 1997. p. 83-85. (IFIP International Federation for Information Processing). doi: 10.1007/978-0-387-35064-6_9

TripleS - a formal validation environment for functional specifications

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this