Addresing State Explosion in Behavior Protocol Verification

Number of the records: 1

1.

SYSNO	0103387
Title	Addresing State Explosion in Behavior Protocol Verification
Title	Řešení problému exponenciálního nárůstu stavového prostoru (state explosion) ve verifikaci protokolů chování (behavior protocols)
Author(s)	Mach, M. (CZ) Plášil, František (UIVT-O)_RID
Source Title	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. s. 327-333. - Michigan : ACIS, 2004 / Hu G. ; Huang T. ; Ni X. ; Zhou A.
Conference	ACIS. International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing /5./, Beijing, 30.06.2004-02.07.2004
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GA102/03/0672 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z1030915 - UIVT-O
Language	eng
Country	US
Keywords	formal verification * software components * state explosion * behavior protocols * parse trees
Permanent Link	http://hdl.handle.net/11104/0010695

Number of the records: 1