Programming language elements for correctness proofs

Formal methods are not used widely in industrial software development, because the overhead of formally proving program properties is generally not acceptable. In this paper we present an ongoing research project to make the construction of such proofs easier by embedding the proof system into a com...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Dévai Gergely
Testületi szerző: Conference for PhD Students in Computer Science (5.) (2006) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2008
Sorozat:Acta cybernetica 18 No. 3
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12827

Hasonló tételek