Publication | Open Access

Software model synthesis using satisfiability solvers

EngineeringAutomated ReasoningVerificationSat SolvingFormal MethodsSoftware AnalysisSoftware EngineeringSoftware Model SynthesisComputer ScienceModel CheckingSatisfiabilitySoftware DesignFormal Verification