Return to Article Details Semi‐formal specifications and formal verification improving the digital design: some statistics Download Download PDF