UNSW Sydney, Sydney, Australia;
contracts; cryptography; distributed databases; formal specification; formal verification; multi-agent systems; temporal logic;
机译:规范和验证抽象论证框架的论证逻辑
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:抽象状态机规范以及位置一致性内存模型和缓存协议的验证
机译:关于原子交换智能合约的规范和验证(扩展摘要)
机译:JVM及其字节码验证程序的正式规范和验证。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:SOLC验证:用于稳定性智能合同的模块化验证器
机译:智能结构研讨会(第一届)于1993年9月22日至24日在德克萨斯州阿灵顿举行。扩展摘要的收集。