Anti-chain based algorithms for timed/probabilistic refinement checking

Anti-chain based algorithms for timed/probabilistic refinement checking

Refinement checking answers the question on whether an implementation model is a refinement of a specification model, which is of great value for system verification. Some refinement relationships, e.g., trace refinement and failures/divergence refinement, have been recognized for different verifica...

Saved in:

書目詳細資料
Main Authors:	Wang, Ting, Chen, Tieming, Liu, Yang, Wang, Ye
其他作者:	School of Computer Science and Engineering
格式:	Article
語言:	English
出版:	2020
主題:	Engineering::Computer science and engineering Model Checking Refinement
在線閱讀:	https://hdl.handle.net/10356/140644
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

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

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

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

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

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

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)

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

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

Parameter synthesis for hierarchical concurrent real-time systems
由: Andre, E., et al.
出版: (2014)

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

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

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
由: Dang, Van Hung, et al.
出版: (2017)

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

A systematic study on explicit-state non-zenoness checking for timed automata
由: WANG, Ting, et al.
出版: (2015)

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

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

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

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

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

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

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

QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
由: RATUL SAHA
出版: (2017)

GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
由: MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
出版: (2020)

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

Reliability assessment for distributed systems via communication abstraction and refinement
由: GUI, Lin, et al.
出版: (2015)

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

Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement
由: WANG, Jingyi, et al.
出版: (2018)

Refining of platinum
由: Gonzales, Mariano C.
出版: (1952)

More anti-chain based refinement checking
由: Wang, T., et al.
出版: (2013)

Compactly Supported Distributional Solutions of Nonstationary Nonhomogeneous Refinement Equations
由: Sun, Q.Y.
出版: (2014)

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

Convergence of cascade algorithms associated with nonhomogeneous refinement equations
由: Jia, R.-Q., et al.
出版: (2014)

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

SPORTS STRATEGY ANALYTICS USING PROBABILISTIC MODEL CHECKING AND MACHINE LEARNING
由: JIANG KAN
出版: (2023)

Scalable and precise refinement of cache timing analysis via path-sensitive verification
由: Chattopadhyay, S., et al.
出版: (2014)

Some topics on refinable functions
由: TENG KEAT HUAT
出版: (2010)

Causality properties of refinable functions and sequences
由: Goh, S.S., et al.
出版: (2014)

Band-limited refinable functions for wavelets and framelets
由: Chen, W., et al.
出版: (2014)

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