65 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

28. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

31. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

40. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

44. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses

50. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses