...
机译:可执行的面向对象语义及其在防火墙验证中的应用
Japan Advanced Institute of Science and Technology,1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan;
Japan Advanced Institute of Science and Technology,1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan;
object-oriented; theorem proving; simulation; HOL; ML;
机译:C与应用程序的可执行形式语义
机译:使用面向对象的Petri网对并发和分布式应用程序进行建模,原型设计和验证
机译:动态模拟程序,具有面向对象的吸收式制冷机配方(建模,验证和应用于三效吸收式制冷机)
机译:使用分离逻辑验证可执行的面向对象的规范
机译:用于防火墙配置的自动验证工具
机译:经过验证的iptables防火墙分析和验证
机译:可执行的面向对象语义及其在防火墙验证中的应用
机译:支持实时应用的面向对象数据库系统的基于语义的并发控制。