An ontology-based approach to support formal verification of concurrent systems › Research Explorer

Novosibirsk State University's Research Portal

An ontology-based approach to support formal verification of concurrent systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

DOI

https://doi.org/10.1007/978-3-030-54994-7_9
Final published version

Natalia Garanina
Igor Anureev
Elena Sidorova
Dmitry Koznov
Vladimir Zyubin
Sergei Gorlatch

Original language	English
Title of host publication	Formal Methods- FM 2019 International Workshops - Revised Selected Papers
Editors	Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Publisher	Springer Nature
Pages	114-130
Number of pages	17
ISBN (Electronic)	978-3-030-54994-7
ISBN (Print)	9783030549930
DOIs	https://doi.org/10.1007/978-3-030-54994-7_9
Publication status	Published - 1 Sept 2020
Event	3rd World Congress on Formal Methods, FM 2019 - Porto, Portugal Duration: 7 Oct 2019 → 11 Oct 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12232 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd World Congress on Formal Methods, FM 2019
Country/Territory	Portugal
City	Porto
Period	07.10.2019 → 11.10.2019

Research areas

Formal semantics, Formal verification, Information extraction, Ontology, Requirement engineering

ID: 25311656