Letichevsky, A.A., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 4 (2012) - Formal methods of software development
Survey on modern tools and methods of formal models verification
Abstract PDF (Русский) -
No 2 (2013) - Formal methods of software development
Deductive verification of requirements for event-driven architecture
Abstract PDF -
No 2-3 (2010) - Theory and Methodology of Programming
Simple non-deterministic rewriting in verification
Abstract PDF -
No 2-3 (2010) - Methods and facilities of software engineering
Test scenarios generation based on formal model
Abstract PDF (Русский) -
No 4 (2008) - Theory and Methodology of Programming
Insertion modeling in distributed system design
Abstract PDF