Debugging of Concurrent Systems Using Counterexample Analysis.

Gianluca Barbon Vincent Leroy Gwen Salaün

Published in: FSEN (2017)

Keyphrases

concurrent systems
database
information systems
multiscale
quantitative analysis
machine learning
image analysis
evolutionary algorithm
statistical analysis
fine grained
model checking
production system
temporal logic