Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs.
Willem PenninckxBart JacobsFrank PiessensPublished in: ESOP (2015)
Keyphrases
- input output
- state transition
- fuzzy model
- fuzzy neural network
- noise cancellation
- internal states
- fuzzy controller
- fuzzy modeling
- symbolic execution
- fuzzy logic
- fuzzy logic controller
- data envelopment analysis
- hardware designs
- neural network
- nonlinear systems
- fuzzy inference system
- model checking
- linear programming
- response time