Toggle Main Menu Toggle Search

Open Access padlockePrints

Quantitative Validation of Formal Domain Models

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD, Dr Linas Laibinis



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE , 2019.

For re-use rights please refer to the publisher's terms and conditions.


Application of formal methods to verification of well-formedness and semantic correctness of data sets from a particulardomain becomes increasingly practical with the advances in automated verification tools. However, it is difficult for domain experts to understand and formulate formal verification rules, yet much trust is invested in their validity and completeness. The paper discusses a novel validation approach based on statistical testing of VCs against pre-validated data sets. We illustrate the technique using a synthetic railway example and also relate our experience of integrating the approach within a large-scale industry-based project.

Publication metadata

Author(s): Iliasov A, Romanovsky A, Laibinis L

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE)

Year of Conference: 2019

Pages: 17-24

Online publication date: 25/01/2019

Acceptance date: 18/09/2018

Date deposited: 13/11/2018

ISSN: 2640-7507

Publisher: IEEE


DOI: 10.1109/HASE.2019.00013

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538685402