Crossmark

Novel Patterns for Formal Verification of System Safety Properties

Crossref DOI link: https://doi.org/10.1007/s40031-022-00788-6

Published Online: 2022-08-19

Published Print: 2022-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Nallamalli, Ranjana https://orcid.org/0000-0002-4037-5726
Chauhan, Durg Singh
License Information

Text and Data Mining valid from 2022-08-19

Version of Record valid from 2022-08-19
More Information

Article History

Received: 17 May 2019

Accepted: 14 July 2022

First Online: 19 August 2022

Declarations

:

: The authors declare that they have no conflict of interest.