Multi-Property Bounded Model Checking for Java Numerical Error.
Qilin DengYu WuFengli SunWei ZhangPublished in: AIBDF (2023)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- object oriented
- error rate
- sensitivity analysis
- programming language
- error bounds
- error analysis
- database applications
- learning algorithm
- web applications
- estimation error
- error detection
- cross platform
- multi agent systems
- search algorithm