SYMTC: Un model checker symbolique performant

Translated title of the contribution: SYMTC: A performing symbolic model checker

Rachid Boudour, Soufiene Djahel

Research output: Contribution to journalConference articlepeer-review

Translated title of the contributionSYMTC: A performing symbolic model checker
Original languageFrench
JournalProceedings of the International Conference on Computer Science and its Applications
Publication statusPublished - 2006
Externally publishedYes
EventInternational Conference on Computer Science and Its Applications - Saida, Algeria
Duration: 15 May 200616 May 2006

Cite this