Author Details

Peschanenko, V.S., Kherson State University

  • No 4 (2012) - Formal methods of software development
    Survey on modern tools and methods of formal models verification
    Abstract  PDF (Русский)
  • No 2-3 (2018) - Methods and facilities of software engineering
    Use of methods of algebraic programming for the formal verification of legal acts
    Abstract  PDF
  • No 3-4 (2022) - Formal methods of programming
    Algebraic approach to the analysis of legal documents
    Abstract  PDF
  • No 3-4 (2022) - Formal methods of programming
    Formal semantics and analysis of tokenomics properties
    Abstract  PDF
  • No 2 (2013) - Formal methods of software development
    Deductive verification of requirements for event-driven architecture
    Abstract  PDF
  • No 1 (2013) - Formal methods of software development
    Partial evaluation in insertion modeling system
    Abstract  PDF
  • No 4 (2011) - Theory and Methodology of Programming
    Constraint programming in insertion modeling system
    Abstract  PDF