Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
- 8 November 2016
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- How to model and prove hybrid systems with KeYmaera: a tutorial on safetyInternational Journal on Software Tools for Technology Transfer, 2015
- Design Techniques and Applications of Cyberphysical Systems: A SurveyIEEE Systems Journal, 2014
- ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System ModelsLecture Notes in Computer Science, 2014
- Physical Attestation of Cyber Processes in the Smart GridLecture Notes in Computer Science, 2013
- dReal: An SMT Solver for Nonlinear Theories over the RealsLecture Notes in Computer Science, 2013
- Exercises in Nonstandard Static Analysis of Hybrid SystemsLecture Notes in Computer Science, 2012
- SpaceEx: Scalable Verification of Hybrid SystemsLecture Notes in Computer Science, 2011
- Statistical Model Checking for Cyber-Physical SystemsLecture Notes in Computer Science, 2011
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)Lecture Notes in Computer Science, 2008
- An experimental determination of sufficient mutant operatorsACM Transactions on Software Engineering and Methodology, 1996