Towards leveraging domain knowledge in state-based formal methods. (English) Zbl 07495050
Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 1-13 (2021).