Open AccessDeductive formal verification of embedded systems
Author(s) -
Zheng Lu
Publication year - 2022
Language(s) - Uncategorized
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_dissertations.1525
Subject(s) - computer science , programming language , formal verification , source code , formal methods , code (set theory) , software engineering , set (abstract data type)