Verifying floating-point programs with constraint programming and abstract interpretation techniques | 7 | 0.48 | 2016 |
Constraint-based BMC: a backjumping strategy. | 1 | 0.36 | 2014 |
Generating test cases inside suspicious intervals for floating-point number programs | 3 | 0.41 | 2014 |
Refining abstract interpretation based value analysis with constraint programming techniques | 8 | 0.54 | 2012 |
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs | 2 | 0.36 | 2012 |
Verification of an industrial systemC/TLM model using LOTOS and CADP | 18 | 0.82 | 2009 |
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS | 5 | 0.65 | 2008 |
Rewriting of imperative programs into logical equations | 2 | 0.54 | 2005 |
Réécriture de programmes C--en équations logiques | 0 | 0.34 | 2002 |