Publication | Closed Access

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Bounded Model CheckingEngineeringAutomated ReasoningProgram AnalysisEfficient Proof EngineVerificationFormal MethodsComputer-aided VerificationSystems EngineeringHybrid SystemsFormal TechniqueModel AbstractionComputer ScienceModel CheckingModel VerificationSoftware AnalysisFormal Verification