0103387 - UIVT-O 20040128 RIV US eng C - Conference Paper (international conference)
Mach, M. - Plášil, František
Addresing State Explosion in Behavior Protocol Verification.
[Řešení problému exponenciálního nárůstu stavového prostoru (state explosion) ve verifikaci protokolů chování (behavior protocols).]
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Michigan: ACIS, 2004 - (Hu, G.; Huang, T.; Ni, X.; Zhou, A.), s. 327-333. ISBN 0-9700776-8-8.
[ACIS. International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing /5./. Beijing (CN), 30.06.2004-02.07.2004]
R&D Projects: GA ČR GA102/03/0672
Institutional research plan: CEZ:AV0Z1030915
Keywords : formal verification * software components * state explosion * behavior protocols * parse trees
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0010695