2024/07/18 by Alcino Cunha, Cunha, Alcino
Computer Science · #Software Engineering Research #Model-Driven Software Engineering Techniques #Advanced Software Engineering Methodologies
paper · pdf · doi:10.48550/arxiv.2407.13633
In this paper I discuss how can lightweight formal methods be used to specify and verify software with complex configurations (for example, distributed protocols that work on specific network configurations). More specifically, I briefly present two popular formal methods - TLA+ and Alloy - and discuss the pros and cons of both in this particular context.