A gentle introduction to Maude and LTL Model Checking in Maude and its automated reasoning techniques. Keynote presentation in the 4th Workshop-School on Theoretical Computer Science, held in Santa Maria, RS, from Oct. 9th to 11th, 2017, at Universidade Federal of Santa Maria.
Page last modified on November 14, 2017, at 01:01 PM