Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code
One of the major challenges in the formal verification of embedded system software is the complexity and substantially large size of the implementation. The problem becomes crucial when the embedded system is a complex medical device that is executing convoluted algorithms. In refinement-based verif...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2020-01-01
|
| Series: | Scientific Programming |
| Online Access: | http://dx.doi.org/10.1155/2020/6791891 |