66 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

29. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

33. 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

48. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses