General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software

2000 ◽  
pp. 14-35
Author(s):  
J. Strother Moore
Keyword(s):  
Theorem Proving ◽  
General Purpose ◽  
Digital Hardware

Digital Hardware Design Formal Verification Based on HOL System

2014 ◽  
Vol 716-717 ◽  
pp. 1382-1386
Author(s):  
Da Xiao ◽  
Yue Fei Zhu ◽  
Sheng Li Liu ◽  
Dong Xia Wang ◽  
You Qiang Luo
Keyword(s):  
Formal Verification ◽  
Theorem Proving ◽  
Hardware Design ◽  
Detection Methods ◽  
Hardware Trojan ◽  
Symbol Table ◽  
Hardware Trojan Detection ◽  
Trojan Detection ◽  
Digital Hardware

This article selects HOL theorem proving systems for hardware Trojan detection and gives the symbol and meaning of theorem proving systems, and then introduces the symbol table, item and the meaning of HOL theorem proving systems. In order to solve the theorem proving the application of the system in hardware Trojan detection requirements, this article analyses basic hardware Trojan detection methods which applies for theorem proving systems and introduces the implementation methods and process of theorem proving about hardware Trojan detection.

scholarly journals Evaluating general purpose automated theorem proving systems

2001 ◽  
Vol 131 (1-2) ◽  
pp. 39-54 ◽  
Author(s):  
Geoff Sutcliffe ◽  
Christian Suttner
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
General Purpose

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

PENGARUH LATIHAN RANGE OF MOTION (ROM) AKTIF ASSITIF TERHADAP RENTANG GERAK SENDI PADA LANSIA YANG MENGALAMI IMMOBILISASI FISIK

2019 ◽  
Vol 13 (2) ◽  
Author(s):  
Andri Setyorini ◽  
Niken Setyaningrum
Keyword(s):  
Range Of Motion ◽  
Human Life ◽  
The Elderly ◽  
General Purpose ◽  
Test Statistic ◽  
Physical Mobility ◽  
Motion Exercise ◽  
The One ◽  
The Individual ◽  
Active Training

Background: Elderly is the final stage of the human life cycle, that is part of the inevitable life process and will be experienced by every individual. At this stage the individual undergoes many changes both physically and mentally, especially setbacks in various functions and abilities he once had. Preliminary study in Social House Tresna Wreda Yogyakarta Budhi Luhur Units there are 16 elderly who experience physical immobilization. In the social house has done various activities for the elderly are still active, but the elderly who experienced muscle weakness is not able to follow the exercise, so it needs to do ROM (Range Of Motion) exercise.   Objective: The general purpose of this research is to know the effect of Range Of Motion (ROM) Active Assitif training to increase the range of motion of joints in elderly who experience physical immobility at Social House of Tresna Werdha Yogyakarta unit Budhi Luhur.   Methode: This study was included in the type of pre-experiment, using the One Group Pretest Posttest design in which the range of motion of the joints before (pretest) and posttest (ROM) was performed  ROM. Subjects in this study were all elderly with impaired physical mobility in Social House Tresna Wreda Yogyakarta Unit Budhi Luhur a number of 14 elderly people. Data analysis in this research use paired sample t-test statistic  Result: The result of this research shows that there is influence of ROM (Range of Motion) Active training to increase of range of motion of joints in elderly who experience physical immobility at Social House Tresna Wredha Yogyakarta Unit Budhi Luhur.  Conclusion: There is influence of ROM (Range of Motion) Active training to increase of range of motion of joints in elderly who experience physical immobility at Social House Tresna Wredha Yogyakarta Unit Budhi Luhur.

Sign in / Sign up

Export Citation Format

Share Document