EVA: a Tool for the Compositional Verification of AUTOSAR Models.
Alessandro CimattiLuca CristoforettiAlberto GriggioStefano TonettaSara CorfiniMarco Di NataleFlorian BarrauPublished in: TACAS (2) (2023)
Keyphrases
- computer vision
- software engineering
- modeling tool
- statistical models
- parameter estimation
- real world
- e learning
- three dimensional
- data structure
- expert systems
- database
- information systems
- machine learning algorithms
- statistical model
- experimental data
- machine learning
- neural network model
- temporal logic
- learned models