Login / Signup

Inhibiting factors, market structure and the industrial uptake of formal methods.

George ClelandDonald MacKenzie
Published in: WIFT (1995)
Keyphrases
  • formal methods
  • formal analysis
  • model checking
  • knowledge acquisition
  • temporal properties
  • information systems
  • natural language
  • model checker
  • provably correct
  • external factors
  • development lifecycle