2 papers
cs.LO2025
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…
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…