Date: 2016-07-15 23:00:36Mathematical 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 UniversityAdd to Reading ListSource URL: www.cs.purdue.eduDownload Document from Source Website File Size: 198,24 KBShare Document on Facebook
|