RULES CHECKER MAKES LOGIC SIMULATION MORE ACCURATE

被引：0
|
作者：
GOERING, R
机构：
来源：
COMPUTER DESIGN | 1987年 / 26卷 / 21期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：37 / 38
页数：2
相关论文
共 50 条
  • [31] NORMC: a Norm Compliance Temporal Logic Model Checker
    Kazmierczak, Piotr
    Pedersen, Truls
    Agotnes, Thomas
    PROCEEDINGS OF THE SIXTH STARTING AI RESEARCHERS' SYMPOSIUM (STAIRS 2012), 2012, 241 : 168 - +
  • [32] WHO MAKES THE ASSEMBLY RULES
    WILSON, JB
    JOURNAL OF VEGETATION SCIENCE, 1994, 5 (02) : 275 - 278
  • [33] Firewall Anomaly Detection With A Model Checker for Visibility Logic
    Khorchani, Bassam
    Halle, Sylvain
    Villemaire, Roger
    2012 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (NOMS), 2012, : 466 - 469
  • [34] A verified proof checker for higher-order logic
    Abrahamsson, Oskar
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 112
  • [35] Symbolic model checker for propositional projection temporal logic
    Pang, Tao
    Duan, Zhen-Hua
    Liu, Xiao-Fang
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (08): : 1968 - 1982
  • [36] The Linear Temporal Logic of Rewriting Maude Model Checker
    Bae, Kyungmin
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 208 - 225
  • [37] QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic
    Drewniok, Jan
    Walter, Marcel
    Ng, Samuel Sze Hang
    Walus, Konrad
    Willey, Robert
    2023 IEEE 23RD INTERNATIONAL CONFERENCE ON NANOTECHNOLOGY, NANO, 2023, : 817 - 822
  • [38] MORE THOROUGH SYNTAX CHECKER FOR FORTH.
    Dixon, R.D.
    Hemmendinger, David
    The Journal of Forth application and research, 1986, 4 (02):
  • [39] From rules of argumentation to the logic of rules
    Pistone, Paolo m
    RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2010, 1 (01) : 25 - 38
  • [40] SAFT makes accurate predictions
    不详
    TCE, 2009, (821): : 15 - 15
12345