Publication | Closed Access

Using integer programming to verify general safety and liveness properties

Mathematical ProgrammingEngineeringVerificationSafety ScienceComputer-aided VerificationSoftware AnalysisFormal VerificationSafety-critical SystemReliability EngineeringMechanical VerificationSystems EngineeringFormal TechniqueComputer ScienceGeneral SafetyInteger ProgrammingSafety EngineeringAutomated ReasoningProgram AnalysisFormal Methods