Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Mathematics / Formal methods / Boolean algebra / Temporal logic / Edsger W. Dijkstra / Predicate transformer semantics / Model theory / Hoare logic / True quantified Boolean formula / Linear temporal logic


Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University
Add to Reading List

Document Date: 2016-07-15 23:00:36


Open Document

File Size: 198,24 KB

Share Result on Facebook
UPDATE