Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.
NASA FORMAL METHODS, NFM 2023（2023）
Key words
Proof and state-based methods,Event-B and Theories,Meta-theory,Reflexive EB4EB framework,Temporal logic,Liveness properties,Traces and soundness
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined