Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Programmes impératifs"'
Autor:
Genestier, Richard
Le problème général de la preuve de propriétés de programmes impératifs est indécidable. Pour deslangages de programmation et de propriétés plus restrictifs, des sous-problèmes décidables sontconnus. En pratique, grâce à des heuristiques
Externí odkaz:
http://www.theses.fr/2016BESA2041/document
Autor:
Genestier, Richard
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Performance et fiabilité [cs.PF]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2041⟩
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Performance et fiabilité [cs.PF]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2041⟩
The general problem of proving properties of imperative programs is undecidable. Some subproblems– restricting the languages of programs and properties – are known to be decidable. Inpractice, thanks to heuristics, program proving tools sometimes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::09b0a8799e85f462b1bbf43438f6a408
https://hal.archives-ouvertes.fr/hal-02991582
https://hal.archives-ouvertes.fr/hal-02991582