An Agile Formal Specification Language Design Based on K Framework
J Zhang, L Zhang, Y Wu, F Yang - arXiv preprint arXiv:2404.18515, 2024 - arxiv.org
Formal Methods (FMs) are currently essential for verifying the safety and reliability of
software systems. However, the specification writing in formal methods tends to be complex …
software systems. However, the specification writing in formal methods tends to be complex …