Webpages tagged with «rewriting logic»

Published Nov. 12, 2014 3:08 PM

Antonio Gonzalez Burgueno is a new PhD student in the ConSeRNS group.

His talk will introduce the well-known tool Maude-NPA and how it can be used to model security protocols. (See Abstrat in the long description.)

Published Feb. 11, 2011 9:51 AM

The Reliable Systems group PSY (formerly PMA) teaches the following courses:

Published Nov. 9, 2010 10:47 AM