Using Formal Methods for On-The-Fly Time Series Verification
Abstract
References
Index Terms
- Using Formal Methods for On-The-Fly Time Series Verification
Recommendations
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describing transition systems. MDG provides symbolic representation of transition ...
Falsification of cyber-physical systems with robustness-guided black-box checking
HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and ControlFor exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have attracted the attention of both industrial practitioners and academic ...
Formal Verification of a Timing Enforcer Implementation
Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017A timing enforcer is a scheduler that not only allocates CPU cycles to threads, but also uses timers to enforce time budgets. An approach for verifying safety properties of timing enforcers at the source code level is presented. We assume that the ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/d9d57173-ecdb-4cba-9754-5de9f67ae959/3615366.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES)
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 54Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)2
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format