Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories.

Che-Wei Chang Rainer Dömer

Published in: IESS (2013)

Keyphrases

search algorithm
learning algorithm
logic programming