73 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

26. Rumer

Balzer, Stephanie (2011)


Doctoral and Habilitation Theses

32. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

37. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

48. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

49. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses