On combining state space reductions with global fairness assumptions

On combining state space reductions with global fairness assumptions

Model checking has established itself as an effective system analysis method, as it is capable of proving/dis-proving properties automatically. Its application to practical systems is however limited by state space explosion. Among effective state reduction techniques are symmetry reduction and part...

Full description

Saved in:
Bibliographic Details
Main Authors: ZHANG, Shao Jie, SUN, Jun, PANG, Jun, LIU, Yang, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2011
Subjects:
Model Check
Symmetry Reduction
Liveness Property
Strongly Connect Component
Model Check Algorithm
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5027
https://ink.library.smu.edu.sg/context/sis_research/article/6030/viewcontent/On_Combining_State_Space_Reductions_with_Global_Fairness_Assumptions.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5027
https://ink.library.smu.edu.sg/context/sis_research/article/6030/viewcontent/On_Combining_State_Space_Reductions_with_Global_Fairness_Assumptions.pdf

Similar Items