Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.
Joabe JesusAugusto SampaioPublished in: SBMF (2022)
Keyphrases
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- decomposition methods
- constraint propagation
- arc consistency
- np complete
- constraint solving
- tree decomposition
- partial constraint satisfaction
- real time
- tree decompositions
- model checking
- digital images
- neural network
- data sets
- face verification
- block size
- theorem proving
- sat encodings
- closest string