Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Nice - Sophia Antipolis / I3S-CNRS
I3S, Laboratoire I3S
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
Handling software upgradeability problems with MILP solvers
Revisiting the upper bounding process in a safe Branch and Bound algorithm
No associations
LandOfFree
Michel Rueher does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Michel Rueher, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Michel Rueher will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-292121