A Fairness-Based Refinement Strategy to Transform Liveness Properties in Event-B Models
Science of Computer Programming（2022）
Key words
Event-B,Linear temporal logic,Fairness assumptions,Refinement
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