Research Article
SYMTC: An Efficient Symbolic Model Checker for Embedded Systems
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