Publication | Closed Access
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
26
Citations
5
References
2012
Year
Program CheckingEngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationHardware SecurityReliability EngineeringSystems EngineeringFormal TechniqueTrusted Operating SystemProgramming Language TheoryFormal SpecificationRuntime VerificationSoftware System SafetyComputer EngineeringComputer ScienceSoftware DesignSoftware VerificationLiveness PropertiesVerification ApproachHorn ClausesProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsC ProgramsDesign By ContractSystem Software
HSF(C) is a tool that automates verification of safety and liveness properties for C programs. This paper describes the verification approach taken by HSF(C) and provides instructions on how to install and use the tool.
| Year | Citations | |
|---|---|---|
Page 1
Page 1