Concurrent Program Verification with Lazy Sequentialization and Interval Analysis.

Truc L. Nguyen Bernd Fischer Salvatore La Torre Gennaro Parlato

Published in: NETYS (2017)

Keyphrases

interval analysis
autocalibration
constrained optimization
constraint propagation
fuzzy set theory
fuzzy logic
constraint satisfaction problems
genetic algorithm
constraint satisfaction
constraint sets