An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti. An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 617-632, Springer, 2018. [doi]

This author has not been identified. Look up 'Orlando Ferrante' in GoogleThis author has not been identified. Look up 'Alberto Ferrari' in GoogleThis author has not been identified. Look up 'Christos Sofronis' in GoogleThis author has not been identified. Look up 'Leonardo Mangeruca' in GoogleThis author has not been identified. Look up 'Luca Benvenuti' in Google

runs on WebDSL