Abstract | ||
---|---|---|
•SMT-based BMC tool to verify systems with uncertainties using fixed-point arithmetics.•Verification of limit-cycle oscillations, stability, and quantization error.•Support for two model checkers as back-end, CBMC and ESBMC.•Support for the SAT/SMT solvers Boolector, CVC4, MathSAT, MiniSAT, Yices, and Z3. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.jss.2019.03.015 | Journal of Systems and Software |
Keywords | DocType | Volume |
Fixed-point digital controllers,Formal methods,Bounded model checking,System reliability,Uncertainty | Journal | 153 |
ISSN | Citations | PageRank |
0164-1212 | 1 | 0.35 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lennon Chaves | 1 | 5 | 2.46 |
Hussama Ismail | 2 | 60 | 6.65 |
Iury Bessa | 3 | 56 | 9.37 |
Lucas Cordeiro | 4 | 360 | 38.38 |
E. B. de Lima Filho | 5 | 45 | 12.51 |