Search results
- 1.0085639 - ÚI 2008 CZ eng V - Research Report
Pařízek, P. - Plášil, František - Kofroň, Jan
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker.
[Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker.]
Prague: Department of Software Engineering, Charles University, 2006. 17 s. Technical Report, 2006/2.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * software components * behavior protocols * Java PathFinder
Permanent Link: http://hdl.handle.net/11104/0148105 - 2.0085633 - ÚI 2008 CZ eng V - Research Report
Kofroň, Jan
Extending Behavior Protocols With Data and Multisynchronization.
[Rozšíření Behavior Protocols o data a multisynchronizaci.]
Prague: Department of Software Engineering, Charles University, 2006. 19 s. Technical Report, 2006/10.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : behavior protocols * formal verification * software components
Permanent Link: http://hdl.handle.net/11104/0148101 - 3.0085632 - ÚI 2008 CZ eng V - Research Report
Kofroň, Jan
Software Component Verification: On Translating Behavior Protocols to Promela.
[Ověřování softwarových komponent: O překladu Behavior Protocols do Promely.]
Prague: Department of Software Engineering, Charles University, 2006. 10 s. Technical Report, 2006/11.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * software components * PROMELA * behavior protocols
Permanent Link: http://hdl.handle.net/11104/0148100 - 4.0031788 - UIVT-O 336111 SIGLE CZ eng V - Research Report
Kofroň, Jan
Enhancing Behavior Protocols with Atomic Actions.
Prague: Charles University Dept. of SW Engn, 2005. 10 s. Technical Report, 2005/8.
R&D Projects: GA AV ČR(CZ) 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior protocols * atomic actions * event synchronization
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0132436