66 Ergebnisse zu (keywords_en:VERIFICATION)

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 3

1 2 3 nächste › letzte »

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

Kägi, Andreas (2009)


Master-, Bachelor- und Semesterarbeiten

3. Improving Cee and ownership-based verification

Studer, Christoph (2009)


Master-, Bachelor- und Semesterarbeiten

5. Automatic verification of Pascal programs

Marmier, Edouard (1975)


Dissertationen und Habilitationen

16. Rumer

Balzer, Stephanie (2011)


Dissertationen und Habilitationen

17. Verifying spec# delegates

Gantner, Samuele (2008)


Master-, Bachelor- und Semesterarbeiten

18. Automatic verification of Eiffel programs

Tschannen, Julian (2009)


Master-, Bachelor- und Semesterarbeiten

19. Embedding proof-carrying components into Isabelle

Hauser, Bruno (2009)


Master-, Bachelor- und Semesterarbeiten

21. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten


Seite 1 von 3

1 2 3 nächste › letzte »