A carregar...
Automation of Formal Verification of Programs in the Pifagor Language
Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automation of the proof process. However, the method of dedu...
Na minha lista:
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2015-08-01
|
| Colecção: | Modelirovanie i Analiz Informacionnyh Sistem |
| Assuntos: | |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/274 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|