Designing Software with Complex Configurations
<|reference_start|>Designing Software with Complex Configurations: 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.<|reference_end|>
@article{cunha2024designing,
    title={Designing Software with Complex Configurations},
    author={Alcino Cunha},
    journal={arXiv preprint arXiv:2407.13633},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.13633},
    primaryClass={cs.SE}
}