Concepedia
International Conference on Computer Aided Design · 1987 · 10 citations · 0 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsDeductive VerificationEquivalence CheckingFinite AutomataFinite-state MachinesModel CheckingVerificationCorrectness CheckingFinite State Machine DesignFinite State Machine VerificationFinite-state Verification