Survey on modern tools and methods of formal models verification

• Datum: 2015
• Hauptverfasser: Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2015
• Schlagworte: verificatoin of formal models
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/109
• Назва журналу: Problems in programming

A survey on methods for automatic verificatoin of formal models of software systems is presented. Verifiable properties, methods of reduction and modern verification tools are considered.