Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Cyber‐Physical Systems
Data and Systems Intelligence
Dependable and Secure Decentralized Systems
Health and Biomedical Informatics
Inclusive Human-Computer Interaction
Reliable Software Systems
Theory of Computing
Research & Innovation
Software & Tools
Projects
Publications
Partners
Innovation
Members
Integrated Researchers
PhD Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Positions
Select Page
Software & Tools
•
CFSTEquiv
A tool that tests if two context-free session types are equivalent.
http://rss.di.fc.ul.pt/tryit/CFSTEquiv
Lines
Reliable Software Systems
