A Formal Verification Library Design for Behavioral Refinement of CompCert Clight
As computer systems become increasingly ubiquitous in our daily lives, ensuring the safety and reliability of system software has become a major concern across various fields of computer science. Among the various methodologies for ensuring software correctness, formal verification using interactive...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
IEEE
2025-01-01
|
| Schriftenreihe: | IEEE Access |
| Schlagworte: | |
| Online-Zugang: | https://ieeexplore.ieee.org/document/10876118/ |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|