67 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

43. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

47. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses

49. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses