66 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

30. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

42. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

48. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses