Computer Science
2 years ago

New tool detects deviations in message-passing apps, enhancing security and reliability.

Science of Computer Programming
PSTMonitor: Monitor synthesis from probabilistic session types
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Paper Summary

PSTMonitor is a tool that checks if message-passing apps follow their expected behavior. It looks for any unexpected actions during runtime. The tool was tested to see if it slows down the app while running.

Related papers

Theme background image
Social Sciences
9 months ago

Unlocking the Potential of Social Partnerships to Elevate Future Educators

Universities Impact
Digital Transformation
Entrepreneurship
13 views
5 years ago

ISPD 2020 Contest Results: Innovations Set to Transform Society!

1 view
Theme background image
Arts and Humanities
7 years ago

Emotionally powerful music performances by the Susquehanna Chorale can deeply move and engage audiences of all ages.

Musical Theatre
Inclusive Education
Music's Impact
12 views