EXPLORE CONNECTIONS
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability
Follow the relationships that help you find your next source.
Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.