Open AccessCombining solution reuse and bound tightening for efficient analysis of evolving systems
Author(s) -
Clay Stevens,
Hamid Bagheri
Publication year - 2022
Publication title -
digital commons - university of nebraska lincoln (university of nebraska–lincoln)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3533767.3534399
Subject(s) - computer science , reuse , overhead (engineering) , formal verification , domain (mathematical analysis) , formal methods , state (computer science) , computation , software , domain analysis , reliability engineering , software system , computer engineering , distributed computing , software engineering , theoretical computer science , algorithm , programming language , software construction , engineering , waste management , mathematical analysis , mathematics
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