Browse Dept. of Computer Science by Subject "Model-checking"
Now showing items 1-1 of 1
(2018-05)Maude is an equational and rewriting logic specification tool. It allows a unique and simple way of specifying concurrent programs and lends itself nicely to verification. This senior thesis focuses specifically on patterns ...