GPU Accelerated counterexample generation in LTL model checking

GPU Accelerated counterexample generation in LTL model checking

Strongly Connected Component (SCC) based searching is one of the most popular LTL model checking algorithms. When the SCCs are huge, the counterexample generation process can be time-consuming, especially when dealing with fairness assumptions. In this work, we propose a GPU accelerated counterexamp...

Saved in:

書目詳細資料
Main Authors:	WU, Zhimin, LIU, Yang, LIANG, Yun, SUN, Jun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2014
主題:	Model Check Share Memory Task Schedule Strongly Connect Component Model Check Problem Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4988 https://ink.library.smu.edu.sg/context/sis_research/article/5991/viewcontent/gpu.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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

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

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

Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
由: Liu, Yang, et al.
出版: (2022)

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

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

Model checking parameterized process classes
由: LIU SHANSHAN
出版: (2010)

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

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

Using the CARMEN'S framework to model and acquire knowledge
由: Ang, J., et al.
出版: (2013)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

Analyzing multi-agent systems with probabilistic model checking approach
由: Song, S., et al.
出版: (2013)

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

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
由: YAMILET ROSARIO SERRANO LLERENA
出版: (2018)

Anti-chain based algorithms for timed/probabilistic refinement checking
由: Wang, Ting, et al.
出版: (2020)

Memory model sensitive bytecode verification
由: Huynh, T.Q., et al.
出版: (2013)

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

SpecDiff: Debugging formal specifications
由: Xing, Z., et al.
出版: (2013)

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

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

Model checking software architecture design
由: Zhang, J., et al.
出版: (2013)

Model checking with fairness assumptions using PAT
由: Si, Y., et al.
出版: (2014)

Checking for model failure and for prior-data conflict with the constrained multinomial model
由: Englert, Berthold-Georg, et al.
出版: (2022)

Improved Symbolic Model Checking of Real-Time Systems
由: NGUYEN TRUONG KHANH
出版: (2014)

A new approach of developing compliance-checking system
由: XU RONG
出版: (2010)

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)

Should we learn probabilistic models for model checking? A new approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2017)

Generating C# programs from CSP# models
由: Zhu, H., et al.
出版: (2014)

Analyzing multi-agent systems with probabilistic model checking approach
由: SONG, Songzheng, et al.
出版: (2012)

Learning probabilistic models for model checking: an evolutionary approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2018)

Towards model checking android applications
由: Bai, Guangdong, et al.
出版: (2020)

Translating PDDL into CSP# - The PAT Approach
由: Li, Y., et al.
出版: (2013)

Formal analysis for stateflow diagrams
由: Chen, C.
出版: (2013)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

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

Using Prior Expansions for Prior-Data Conflict Checking
由: Nott, D.J., et al.
出版: (2021)

An action research on streamlining the check payment process in Company ABC
由: Aduana, April D.
出版: (2018)

Probabilistic verification and analysis of biopathway dynamics
由: SUCHEENDRA KUMAR PALANIAPPAN
出版: (2013)

Model checking linearizability via refinement
由: LIU, Yang, et al.
出版: (2009)