Font Size:
a
A
A
Keyword [Isabelle]
Result: 1 - 16 | Page: 1 of 1
1.
The Constructions Of A Parallel Interactive Theorem Prover
2.
Design And Implementation Of Automation Proving Tactics In Isabelle
3.
Design And Application Research Of Secure Operating System Hybrid Multiple Policy Model
4.
Research On Methodology Of Formal Design And Verification For Security Operating System
5.
The Design And Formal Verification Of System Task Of VTOS
6.
The Formal Design, Implement And Verification Of VTOS File System
7.
Design, Implementation And Verification Of Interrupt System In VTOS
8.
Assembly Instruction Simulation System Based On Isabelle And A Suitable Tool For Instruction Translation And Assisted Verification
9.
Model,Methods And Tools For Formal Verification Of Assembly Language
10.
Formal Derivation Of Algorithm And Isabelle-based Automatic Verification
11.
The Formal Design And Verification Of The Linux 0.11 Schedule Module Based On Isabelle/HOL
12.
Research On Xen Security Model Design And Formal Verification
13.
Automatic Verification Of DFS Algorithm Based On Isabelle
14.
Development Of Several Binary Tree Algorithms And Isabelle Machine-Aided Proof
15.
Research On Secure Boot Of Embedded Devices Based On Formal Methods
16.
The Automatic Detection Of Loop Invariant
<<First
<Prev Next>
Last>>
Jump to
