Two-Step Deductive Verification of Control Software Using Reflex › Research Explorer

Novosibirsk State University's Research Portal

Two-Step Deductive Verification of Control Software Using Reflex

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

DOI

https://doi.org/10.1007/978-3-030-37487-7_5
Final published version

Original language	English
Title of host publication	Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
Editors	Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Publisher	Springer International Publishing AG
Pages	50-63
Number of pages	14
ISBN (Print)	9783030374860
DOIs	https://doi.org/10.1007/978-3-030-37487-7_5
Publication status	Published - 1 Jan 2019
Event	12th International Andrei P. Ershov Informatics Conference - Novosibirsk, Russian Federation Duration: 2 Jul 2019 → 5 Jul 2019 Conference number: 12

Publication series

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

Conference

Conference	12th International Andrei P. Ershov Informatics Conference
Abbreviated title	PSI 2019
Country/Territory	Russian Federation
City	Novosibirsk
Period	02.07.2019 → 05.07.2019

Research areas

Control software, Deductive verification, Process-oriented languages, Reflex language, SMT solver, Z3

ID: 23122254