Open AccessEfficiency of the strong satisfiability checking procedure for reactive system specifications
Author(s) -
Masaya Shimakawa,
Shigeki Hagihara,
Naoki Yonezaki
Publication year - 2018
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.177
H-Index - 75
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.5033715
Subject(s) - realizability , satisfiability , computer science , property (philosophy) , temporal logic , theoretical computer science , boolean satisfiability problem , model checking , linear temporal logic , formal verification , algorithm , programming language , philosophy , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom