A Mechanized Strategy for Safe Abstraction of CSP Specifications.

Adriana Damasceno Adalberto Farias Alexandre Mota

Published in: SBMF (2009)

Keyphrases

high level
constraint satisfaction problems
constraint satisfaction
bounded model checking
functional requirements
tree decompositions
genetic algorithm
search strategies
control flow
tree decomposition
data abstraction