R . Boudour
Department of Computer Science, University of Annaba, Bp. 12, Annaba, Algeria
M.T . Laskri
Department of Computer Science, University of Annaba, Bp. 12, Annaba, Algeria
M.T . Kimour
Department of Computer Science, University of Annaba, Bp. 12, Annaba, Algeria
PDF Fulltext XML References Citation
How to cite this article
R . Boudour, M.T . Laskri and M.T . Kimour, 2006. SYMTC: An Efficient Symbolic Model Checker for Embedded Systems. Information Technology Journal, 5: 144-148.
DOI: 10.3923/itj.2006.144.148
URL: https://scialert.net/abstract/?doi=itj.2006.144.148
DOI: 10.3923/itj.2006.144.148
URL: https://scialert.net/abstract/?doi=itj.2006.144.148