Paul Somson -

Registered user since Sun 9 Feb 2025

Name:Paul Somson

Affiliation:INESC TEC

GitHub: https://github.com/PaulSOMSON

Research interests:Formal methods

Contributions

2025

FormaliSE

Author of Verifying Multiple TLA+ Configurations with Blast within the Research Track-track