The Use of Automated Theory Formation in Support of Hazard Analysis

Andrew Ireland, Maria Teresa Llano, Simon Colton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
43 Downloads (Pure)


Model checking and simulation are powerful techniques for developing and verifying the design of reactive systems. Here we propose the use of a complementary technique – automated theory formation. In particular, we report on an experiment in which we used a general purpose automated theory formation tool, HR, to explore properties of a model written in Promela. Our use of HR is constrained by meta-knowledge about the model that is relevant to hazard analysis. Moreover, we argue that such meta-knowledge will enable us to explore how safety properties could be violated.
Original languageEnglish
Title of host publicationNASA Formal Methods
Subtitle of host publication10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
EditorsAaron Dutle, César Munoz, Anthony Narkawicz
Number of pages7
ISBN (Electronic)9783319779355
ISBN (Print)9783319779348
Publication statusPublished - 11 Mar 2018
EventTenth NASA Formal Methods Symposium - Newport News, United States
Duration: 17 Apr 201819 Apr 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743


ConferenceTenth NASA Formal Methods Symposium
Abbreviated titleNFM 2018
Country/TerritoryUnited States
CityNewport News


Dive into the research topics of 'The Use of Automated Theory Formation in Support of Hazard Analysis'. Together they form a unique fingerprint.

Cite this