https://catalogue-scientifique.canada.ca/record=2116905~S6*frc
Rechercher Dwyer, Matthew; Rechercher Elbaum, Sebastian; Rechercher Person, Suzette; Rechercher Purandare, Rahul
nebraska univ lincoln dept of computer science and engineering, 2006
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and...
Publication gouvernementale