A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking.
Giovanni CapobiancoUmberto Di GiacomoTommaso Di TusaFrancesco MercaldoAntonella SantonePublished in: IEEE BigData (2019)
Keyphrases
- model checking
- data sets
- temporal logic
- deep learning
- automated verification
- formal verification
- data analysis
- data points
- artificial intelligence
- concurrent systems
- feature selection
- formal methods
- model checker
- bounded model checking
- machine learning
- pattern recognition
- semi supervised
- learning algorithm
- asynchronous circuits