Results 281 to 285 of about 1,174,960 (285)

Towards a formal proof system for ω-rational expressions

Information Processing Letters, 1984
exaly  

Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration

2010
exaly  

A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without axiom of choice

2019
exaly  

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

Lecture Notes in Networks and Systems
exaly  

Appendix: Proof of Formal Results

2019
openaire   +1 more source