75 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

3. Verifying spec# delegates

Gantner, Samuele (2008)


Master-, Bachelor- und Semesterarbeiten

4. Improving Cee and ownership-based verification

Studer, Christoph (2009)


Master-, Bachelor- und Semesterarbeiten

9. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Dissertationen und Habilitationen

10. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

15. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master-, Bachelor- und Semesterarbeiten

17. Automatic verification of Eiffel programs

Tschannen, Julian (2009)


Master-, Bachelor- und Semesterarbeiten

18. Verifying abstract state machines

Nanchen, Stanislas (2007)


Dissertationen und Habilitationen

19. Embedding proof-carrying components into Isabelle

Hauser, Bruno (2009)


Master-, Bachelor- und Semesterarbeiten


Seite 1 von 3

1 2 3 nächste › letzte »