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...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
IEEE
2025-01-01
|
| coleção: | IEEE Access |
| Assuntos: | |
| Acesso em linha: | https://ieeexplore.ieee.org/document/10876118/ |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|