74 Ergebnisse zu (keywords_en:VERIFICATION)

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 3

1 2 3 nächste › letzte »

1. Automatic verification of Pascal programs

Marmier, Edouard (1975)


Dissertationen und Habilitationen

2. Embedding JML-annotated programs in the coq proof system

Kägi, Andreas (2009)


Master-, Bachelor- und Semesterarbeiten

6. Improving Cee and ownership-based verification

Studer, Christoph (2009)


Master-, Bachelor- und Semesterarbeiten

12. Embedding proof-carrying components into Isabelle

Hauser, Bruno (2009)


Master-, Bachelor- und Semesterarbeiten

13. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

14. Verifying spec# delegates

Gantner, Samuele (2008)


Master-, Bachelor- und Semesterarbeiten

17. Automatic verification of Eiffel programs

Tschannen, Julian (2009)


Master-, Bachelor- und Semesterarbeiten

18. Specified and verified reusable components

Polikarpova, Nadia (2014)


Dissertationen und Habilitationen


Seite 1 von 3

1 2 3 nächste › letzte »