IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1991 · 29 citations · 0 references
ComputingComputer ScienceSystems EngineeringFormal MethodsSystems DesignSystems ModelingDesign SpecificationExecutable System ModelsFormal Language FoundationsModel CheckingModel-based DesignSpecification LanguagesFormal ModelingFormal SpecificationsFormal VerificationModel-based VerificationSystem Verification