Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword reachability analysis / total: 13

references: 1-10 / 13

« previous page | next page »

	title	year	author
1.	Automatic Translation of SDL into High Level Petri Nets	2004	Aalto, Annikka
2.	Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol	2003	Tynjälä, Teemu
3.	A Reachability Analyser for Algebraic System Nets	2000	Mäkelä, Marko
4.	Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis	1999	Junttila, Tommi
5.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
6.	Implementing the Front-End of an SDL Compiler	1998	Mäkelä, Marko
7.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
8.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
9.	Dynamical analysis of SDL programs with Predicate/Transition nets	1997	Jyrinki, Tero
10.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo

« previous page | next page »

INSSI