theorem proving - Globe Thesis

Keyword [theorem proving] Result: 41 - 60 \| Page: 3 of 4
41.	Research On The Clock-constraint-based Dyanmic Logic Syatem For Synchronous Systems
42.	A Proof System For Multithreaded Discrete Event Simulation Language
43.	Formal Verification For Path Planning Of Underwater Swarm Robots Using Genetic Algorithm
44.	Verification Of Industrial Control Programs Based On Coq
45.	Research And Implementation Of Formal Verification Technology Based On Ethereum Smart Contract
46.	Formal Research Based On RT-middleware Data Transfer Protocol
47.	Formal Verification Of Real-Time Properies On PLC Programs Using Coq
48.	A Formal Validation System Interpreter Model For EOS Smart Contract
49.	Formal probabilistic analysis using theorem proving
50.	Model checking and theorem proving: A unified framework
51.	Efficient first-order semantic deduction techniques
52.	Theorem-proving guided development of formal assertions and their embedding in a high-level VLSI synthesis system
53.	ON AUTOMATICALLY GENERATING AND USING EXAMPLES IN A COMPUTATIONAL LOGIC SYSTEM (ARTIFICIAL INTELLIGENCE, THEOREM PROVING, FORMAL REASONING)
54.	SEMANTIC PARAMODULATION FOR HORN SETS (LOGIC, EQUALITY, THEOREM-PROVING)
55.	Automated theorem proving by translation to description logic
56.	Research On Universal Automation Formal Verification Technology Of Blockchain Smart Contracts
57.	A Verified Multi-threaded Code Generation From Synchronous Programs
58.	Coq Verification Of Multiple Semantic Relations In C Language Expressions
59.	Formal Research On A Consensus Algorithm For Blockchain
60.	TPaxos In PaxosStore:Specification,Refinement,and Theorem Proving
<<First <Prev Next> Last>> Jump to