2 papers
cs.LO2025
Failure divergence refinement for Event-B
Sebastian Stock, Michael Leuschel, Atif Mashkoor
When validating formal models, sizable effort goes into ensuring two types of properties: safety properties (nothing bad happens) and liveness properties (something good occurs eve…
cs.LO2024
Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
Context: With artificial intelligence (AI) being well established within the daily lives of research communities, we turn our gaze toward formal methods (FM). FM aim to provide sou…