Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (3 sloc) 179 Bytes
Maude specifications for bounded intruders.
Scenarios are defined in each file and tests are shown at the comments at the end of the files.
They were run using Maude alpha111.
You can’t perform that action at this time.