Model checking parameterized process classes

Model checking parameterized process classes

Master's

Saved in:

書目詳細資料
主要作者:	LIU SHANSHAN
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2010
主題:	Model checking, Parameterization, Process classes
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/16288
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Parameterization studies of solar chimneys in the tropics
由: Tan, A.Y.K., et al.
出版: (2013)

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

Comparison of charge derivation methods applied to amino acid parameterization
由: Aronica, Pietro G. A., et al.
出版: (2019)

Adaptive control of a class of nonlinear systems with convex/concave parameterization
由: Kojić, A., et al.
出版: (2014)

Parameterized validation of UML-Like models for reactive embedded systems
由: ANKIT GOEL
出版: (2010)

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)

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

Parameterization of m-channel orthogonal multifilter banks
由: Jiang, Q.
出版: (2014)

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

Parameterized Algorithm for the Poset Cover Problem
由: Ordanel, Ivy D., et al.
出版: (2024)

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

A multiparameter moment-matching model-reduction approach for generating geometrically parameterized interconnect performance models
由: Daniel, L., et al.
出版: (2014)

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)

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

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

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

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

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

Inductively verifying invariant properties of parameterized systems
由: Roychoudhury, A., et al.
出版: (2013)

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

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

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

Parameterization of intrawave ripple-averaged sediment pickup above steep ripples
由: Amoudry, L.O, et al.
出版: (2020)

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

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

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)

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

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

Impacts of planetary boundary layer parameterization in RegCM4.7 on the intensity and structure of simulated tropical cyclones over the Philippines
由: Lagare, Ma. Cathrene, et al.
出版: (2022)

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

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

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

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

Model Checking and Artificial Intelligence
出版: (2017)

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

Model checking software architecture design
由: ZHANG, Jiexin, et al.
出版: (2012)

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