66 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

28. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

32. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

42. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

46. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses