65 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

41. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

47. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses