to appear
 | Info |
to appear | ||||
| 1 | Xiang Gan, Jori Dubrovin, and Keijo Heljanko. A symbolic model checking approach to verifying satellite onboard software. In Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011), to appear. |
| ||