Hoare logic

Most Relevant Related Tags

• loop invariant [25%]
  
• mathematical logic [13%]
  
• loop variant [13%]
  
• predicate logic [13%]
  
• predicate transformer semantics [13%]
  
• static code analysis [13%]
  
• robert floyd [13%]
  
• rigour [13%]
  
• key [13%]
  
• imperative programming [13%]
  
• correctness [13%]
  
• computer program [13%]
  
• communications of the acm [13%]
  
• design by contract [13%]
  
• digital object identifier [13%]
  
• free variables and bound variables [13%]
  
• formal system [13%]
  
• flowchart [13%]
  
• axiom [13%]
  

This is the cloud of related tags for the Hoare logic concept

axiom communications of the acm computer program correctness design by contract digital object identifier flowchart formal system free variables and bound variables imperative programming key loop invariant loop variant mathematical logic predicate logic predicate transformer semantics rigour robert floyd static code analysis