ePrints

Xprova: Formal Verification Tool with Built-in Metastability Modeling

Lookup NU author(s): Dr Ghaith Tarawneh, Dr Andrey Mokhov

Downloads

• Accepted version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).

Publication metadata

Author(s): Tarawneh G, Mokhov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: ACSD 2017: Application of Concurrency to System Design

Year of Conference: 2017

Acceptance date: 15/04/2017

Date deposited: 03/07/2017

URL: http://pn2017.unizar.es

Share