Automatic abstraction for model checking software systems with interrelated numeric constraints.
Model checking techniques have not been effective in important classes of software systems characterized by large (or infinite) input domains with interrelated linear and non-linear constraints over the input variables. Various model abstraction techniques have been proposed to address this problem....
| Τόπος έκδοσης: | Software engineering notes. 26, 5 (2001). |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Άρθρο |
| Γλώσσα: | English |
| Θέματα: |