External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

EVA: a Tool for the Compositional Verification of AUTOSAR Models

Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau. EVA: a Tool for the Compositional Verification of AUTOSAR Models. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 3-10, Springer, 2023. [doi]

Authors

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Luca Cristoforetti

This author has not been identified. Look up 'Luca Cristoforetti' in Google

Alberto Griggio

This author has not been identified. Look up 'Alberto Griggio' in Google

Stefano Tonetta

This author has not been identified. Look up 'Stefano Tonetta' in Google

Sara Corfini

This author has not been identified. Look up 'Sara Corfini' in Google

Marco Di Natale

This author has not been identified. Look up 'Marco Di Natale' in Google

Florian Barrau

This author has not been identified. Look up 'Florian Barrau' in Google
runs on