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...
Elmentve itt :
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
-
Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006) -
Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008) -
Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006) -
On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978) -
A linear programming background for the R∞ HFF upper bound proof [abstract] /
Szerző: Labádi Máté
Megjelent: (2006)