论文信息 - Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker - 字舞流文

Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker

Iwona Grobelna | Iwona Grobelna

[1] João M. Fernandes,et al. Model checking embedded systems with PROMELA , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[2] Luís Gomes,et al. Modeling Formalisms for Embedded System Design , 2005, Embedded Systems Handbook.

[3] René David,et al. Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[4] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[5] Mark R. Greenstreet,et al. Formal verification in hardware design: a survey , 1999, TODE.

[6] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[7] G. Andrzejewski,et al. Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych , 2003 .

[8] Rik Eshuis,et al. Symbolic model checking of UML activity diagrams , 2006, TSEM.