论文信息 - Wprowadzenie do weryfikacji i symulacji w środowisku NuSMV - 字舞流文

Wprowadzenie do weryfikacji i symulacji w środowisku NuSMV

Iwona Grobelna | Iwona Grobelna

[1] Iwona Grobelna,et al. Gaps in design and tests of dependable embedded systems , 2010 .

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

[3] Limor Fix,et al. Fifteen Years of Formal Property Verification in Intel , 2008, 25 Years of Model Checking.

[4] E. Allen Emerson,et al. The Beginning of Model Checking: A Personal Perspective , 2008, 25 Years of Model Checking.

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

[6] Iwona Grobelna,et al. Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej , 2009 .

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

[8] Marian Adamski,et al. Petri nets and Activity Diagrams in logic controller specification - transformation and verification , 2010, Proceedings of the 17th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2010.