GitHub repository: tammok/PRISMA
Primary language: R
Description: Protocol Inspection and State Machine Analysis