Open AccessApplying Incremental, Inductive Model Checking to the Modal Mu Calculus
Author(s) -
Blake C. Rawlings
Publication year - 2021
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1824935
Subject(s) - model checking , computation tree logic , reachability , modal logic , algorithm , linear temporal logic , temporal logic , computer science , ctl* , solver , computation , decidability , boolean satisfiability problem , modal , satisfiability , theoretical computer science , simple (philosophy) , mathematics , programming language , biochemistry , chemistry , philosophy , cytotoxic t cell , epistemology , polymer chemistry , in vitro
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