HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
Topics & Concepts
Computer scienceStateflowProgramming languagePython (programming language)Separation logicHoare logicFragment (logic)Runtime verificationHybrid systemFormal verificationTheoretical computer scienceMATLABCorrectnessMachine learningFormal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques