Compositional Verification of Input-Output Conformance via CSP Refinement Checking.
Augusto SampaioSidney C. NogueiraAlexandre MotaPublished in: ICFEM (2009)
Keyphrases
- input output
- verification method
- constraint satisfaction problems
- noise cancellation
- model checking
- internal states
- fuzzy model
- decomposition methods
- fuzzy modeling
- constraint satisfaction
- fuzzy neural network
- protocol specification
- data envelopment analysis
- arc consistency
- linear programming
- nonlinear functions
- state transition
- constraint programming