scholarly journals Formal Availability Analysis Using Theorem Proving

2016 ◽  
pp. 226-242 ◽  
Author(s):  
Waqar Ahmad ◽  
Osman Hasan
Keyword(s):  
Theorem Proving ◽  
Availability Analysis

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

1982 ◽  
Vol 2 (4) ◽  
pp. 459-464
Author(s):  
Xianchang Zeng
Keyword(s):  
Theorem Proving

Modal Theorem Proving,

1986 ◽  
Author(s):  
Martin Abadi ◽  
Zohar Manna
Keyword(s):  
Theorem Proving

High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks

2019 ◽  
Author(s):  
Ayman A. Atallah ◽  
Ghaith Bany Hamad ◽  
Otmane Ait Mohamed ◽  
Mounir Boukadoum
Keyword(s):  
Availability Analysis ◽  
High Level

The 10th IJCAR automated theorem proving system competition – CASC-J10

2021 ◽  
pp. 1-15
Author(s):  
Geoff Sutcliffe
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Automated Theorem Proving ◽  
Fully Automatic

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

Sign in / Sign up

Export Citation Format

Share Document