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.

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements

Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos. Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. In Andrea Brunello, Alessandro Gianola, Fabio Mogavero, editors, Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023. Volume 3629 of CEUR Workshop Proceedings, pages 55-60, CEUR-WS.org, 2023. [doi]

Authors

Atefeh Zareh Chahoki

This author has not been identified. Look up 'Atefeh Zareh Chahoki' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google

Daniel Amyot

This author has not been identified. Look up 'Daniel Amyot' in Google

John Mylopoulos

This author has not been identified. Look up 'John Mylopoulos' in Google
runs on