Kent Academic Repository (University of Kent) · 1989 · 40 citations · 0 references
EngineeringComputer EngineeringComputer ScienceFormal MethodsSystems DesignSystems ModelingDesign SynthesisDigital Logic DesignFormal Language FoundationsLogic SynthesisModel CheckingModel-based DesignCorrectness CheckingFormal SpecificationsFormal Verification For SynthesisSynthesis Of Finite-state MachinesSystem Synthesis