1) Isabelle/HOL/Isar
Isabelle/HOL/Isar工具
2) Isabelle
Isabelle工具
1.
To solve this problem,a method of using Isabelle to formally describe types,variables,constants,relations,mappings and functions in secure operating system state-machine models and secure invariants and state transition operations in the models is introduced.
为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形式化描述的新方法。
3) HOL blocking
HOL阻塞
4) the HOL system
HOL系统
5) Instruments and implement
工具器具
6) tool
[英][tu:l] [美][tul]
工具,刀具
补充资料：α-(1-Aminoethyl)-2,5-dimethoxyebezyl alco-hol
分子式：C11H17NO3
分子量：211.26
CAS号：390-28-3
性质：其盐酸盐（[61-16-5]）为白色结晶性粉末。熔点212-216℃，易溶于水、1g该品可溶于2.5ml水、溶液2ml乙醇。不溶于醚、苯、氯仿。无臭，味苦。
制备方法：2，5-二甲氧基苯丙酮（见 14942）经缩合、催化氢化、还原、成盐而得。
用途：拟肾上腺素药。用地因出血、外伤、手术时引起的低血休克，用以维持或灰复动脉血压。尤其适用于脊髓麻醉所导致的血压下降。
分子量：211.26
CAS号：390-28-3
性质：其盐酸盐（[61-16-5]）为白色结晶性粉末。熔点212-216℃，易溶于水、1g该品可溶于2.5ml水、溶液2ml乙醇。不溶于醚、苯、氯仿。无臭，味苦。
制备方法：2，5-二甲氧基苯丙酮（见 14942）经缩合、催化氢化、还原、成盐而得。
用途：拟肾上腺素药。用地因出血、外伤、手术时引起的低血休克，用以维持或灰复动脉血压。尤其适用于脊髓麻醉所导致的血压下降。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条