Similar to モデル検査

• 

  形式手法

  Formal methods
  
• 

  Mizar

  Mizar system
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  B-Method

  B-Method
  
• 

  0

  0
  
• 

  M系列

  Maximum length sequence
  
• 

  アルゴリズム

  Algorithm
  ▼-1 trends

  
• 

  アルファベット (計算機科学)

  Alphabet (formal languages)
  
• 

  形式的検証

  Formal verification
  
• 

  述語変換意味論

  Predicate transformer semantics
  
• 

  制約論理プログラミング

  Constraint logic programming
  
• 

  双模倣性

  Bisimulation
  
• 

  チューリングマシン

  Turing machine
  ▼-1 trends

  
• 

  表明 (プログラミング)

  Assertion (software development)
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  プログラム意味論

  Semantics (computer science)
  
• 

  並行制約プログラミング

  Concurrent constraint logic programming
  
• 

  並行論理プログラミング

  Concurrent logic programming
  
• 

  論理プログラミング

  Logic programming
  
• 

  Annals of Mathematics

  Annals of Mathematics
  
• 

  Axiom (数式処理システム)

  Axiom (computer algebra system)
  
• 

  CFL条件

  Courant–Friedrichs–Lewy condition
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Communicating Sequential Processes

  Communicating sequential processes
  
• 

  Z言語

  Z notation
  
• 

  Call Level Interface

  Call Level Interface
  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2