Model checking linearizability via refinement

Model checking linearizability via refinement

Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires checking that 1) all executions of concurrent operations be serializable, and 2) the serialized executions be correct with respect...

Saved in:

書目詳細資料
Main Authors:	LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2009
主題:	Model Check Shared Variable Linear Temporal Logic Label Transition System Linearization Action Programming Languages and Compilers Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/5040 https://ink.library.smu.edu.sg/context/sis_research/article/6043/viewcontent/linear.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Verifying linearizability via optimized refinement checking
由: LIU, Yang, et al.
出版: (2013)

Scalable multi-core model checking fairness enhanced systems
由: LIU, Yang, et al.
出版: (2009)

PAT: Towards flexible verification under fairness
由: SUN, Jun, et al.
出版: (2009)

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

More anti-chain based refinement checking
由: WANG, Ting, et al.
出版: (2012)

Symbolic model-checking of stateful timed CSP using BDD and digitization
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Model checking CSP revisited: Introducing a process analysis toolkit
由: SUN, Jun, et al.
出版: (2008)

Improved BDD-based discrete analysis of timed systems
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

An analytical and experimental comparison of CSP extensions and tools
由: SHI, Ling, et al.
出版: (2012)

Verifying linearizability via optimized refinement checking
由: Liu, Y., et al.
出版: (2014)

Towards formal modelling and verification of pervasive computing systems
由: LIU, Yan, et al.
出版: (2014)

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

Specifying and verifying event-based fairness enhanced systems
由: SUN, Jun, et al.
出版: (2008)

Compositional encoding for bounded model checking
由: Sun, J., et al.
出版: (2013)

Verifying linearizability via optimized refinement checking
由: Dong, Jin Song, et al.
出版: (2013)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: SUN, Jun, et al.
出版: (2009)

A formal semantics for complete UML state machines with communications
由: LIU, Shuang, et al.
出版: (2013)

Towards a model checker for NesC and wireless sensor networks
由: ZHENG, Manchun, et al.
出版: (2011)

Automatic generation of provably correct embedded systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Model checking linearizability via refinement
由: Liu, Y., et al.
出版: (2013)

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

Model checking approach to automated planning
由: LI, Yi, et al.
出版: (2014)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
由: SHI, Ling, et al.
出版: (2018)

Towards expressive specification and efficient model checking
由: DONG, Jin Song, et al.
出版: (2009)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

Improving model checking stateful timed CSP with non-zenoness through clock-symmetry reduction
由: SI, Yuanjie, et al.
出版: (2013)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

GPU Accelerated counterexample generation in LTL model checking
由: WU, Zhimin, et al.
出版: (2014)

Learning assumptions for compositional verification of timed systems
由: LIN, Shang-Wei Lin, et al.
出版: (2014)

Retrieval-augmented generation for code summarization via hybrid GNN
由: LIU, Shangqing, et al.
出版: (2021)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

State space reduction for sensor networks using two-level partial order reduction
由: ZHENG, Manchun, et al.
出版: (2013)

Auditing anti-malware tools by evolving Android malware and dynamic loading technique
由: XUE, Yinxing, et al.
出版: (2017)

Complexity of the soundness problem of workflow nets
由: LIU, Guan Jun, et al.
出版: (2014)

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
由: Sun, Y., et al.
出版: (2014)

Formal modeling and validation of Stateflow diagrams
由: CHEN, Chunqing, et al.
出版: (2012)

Verification of population ring protocols in PAT
由: LIU, Yang, et al.
出版: (2009)