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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Wang, Ting, Chen, Tieming, Liu, Yang, Wang, Ye
अन्य लेखक:	School of Computer Science and Engineering
स्वरूप:	Journal Article
भाषा:	English
प्रकाशित:	2020
विषय:	Engineering::Computer science and engineering Model Checking Refinement
ऑनलाइन पहुंच:	https://hdl.handle.net/10356/140644

समान संसाधन

Towards model checking android applications
द्वारा: Bai, Guangdong, और अन्य
प्रकाशित: (2020)

Reading Courtesy Amounts on Handwritten Paper Checks
द्वारा: Palacios, Rafael, और अन्य
प्रकाशित: (2002)

From verified model to executable program: the PAT approach
द्वारा: Zhu, Huiquan, और अन्य
प्रकाशित: (2017)

Automatic Error Finding in Access-Control Policies
द्वारा: Jayaraman, Karthick, और अन्य
प्रकाशित: (2010)

World refining industry to 2015 : what does the future hold for the refining business /
द्वारा: 408393 Manning, Thomas J.
प्रकाशित: (1995)

Identification numbers and check digit schemes /
द्वारा: 238052 Kirtland, Joseph
प्रकाशित: (2001)

Region Type Checking for Core-Java
द्वारा: Chin, Wei Ngan, और अन्य
प्रकाशित: (2003)

Handwritten Bank Check Recognition of Courtesy Amounts
द्वारा: Palacios, Rafael, और अन्य
प्रकाशित: (2004)

A study on the debris flow-induced impact force on check dam with- and without-entrainment
द्वारा: Lee, Kwangwoo, और अन्य
प्रकाशित: (2021)

Managing 3-mono-chloropropane-1, 2-diol (3-MCPD) esters during palm oil refining
द्वारा: Zulkurnain, Musfirah
प्रकाशित: (2012)

Bioremediation of petroleum sludge from the Exxon Mobil petroleum refining plant at Kerteh, Malaysia / Noor Fazreen Dzulkafli
द्वारा: Dzulkafli, Noor Fazreen
प्रकाशित: (2007)

Financial gatekeepers and investor protection : evidence from criminal background checks
द्वारा: Law, Kelvin Kai Fung, और अन्य
प्रकाशित: (2020)

The impact of repeated notifications and notification checking mode on investors' reactions to managers’ strategic positive title emphasis
द्वारा: Chen, Wei, और अन्य
प्रकाशित: (2023)

Model boosting for error checking in recovered layouts from microscopic IC images
द्वारा: Chen, Zongsen
प्रकाशित: (2024)

Recognition of the cursive handwriten courtesy amounts of Malaysian bank cheques /
द्वारा: 258264 Md. Nasir Sulaiman, और अन्य
प्रकाशित: (2001)

Refining modules to determine functionally significant clusters in molecular networks
द्वारा: Kaalia, Rama, और अन्य
प्रकाशित: (2021)

Process innovation in petroleum refining
द्वारा: Foster, George
प्रकाशित: (2009)

Why Do Voters Dismantle Checks and Balances?
द्वारा: Acemoglu, Daron, और अन्य
प्रकाशित: (2011)

Cache refinement type for side-channel detection of cryptographic software
द्वारा: Jiang, Ke, और अन्य
प्रकाशित: (2023)

An examination on the ageing performance of palm oil and coconut oil with consideration on the presence of insulation paper
द्वारा: Mohamad, Nur Aqilah
प्रकाशित: (2016)

Semantic scene completion via semantic-aware guidance and interactive refinement transformer
द्वारा: Xiao, Haihong, और अन्य
प्रकाशित: (2025)

Verifying linearizability via optimized refinement checking
द्वारा: Dong, Jin Song, और अन्य
प्रकाशित: (2013)

Model Checking Systems with Replicated Components using CSP
द्वारा: Mazur, T
प्रकाशित: (2011)

Feedback Based Architecture for Reading Check Courtesy Amounts
द्वारा: Palacios, Rafael, और अन्य
प्रकाशित: (2004)

Training Neural Networks for Reading Handwritten Amounts on Checks
द्वारा: Palacios, Rafael, और अन्य
प्रकाशित: (2002)

Detecting logical relationships in mechanical, electrical, and plumbing (MEP) systems with BIM using graph matching
द्वारा: Wang, Yongqi, और अन्य
प्रकाशित: (2023)

Is it who you know or what you know? Evidence from ipo allocations and mutual fund performance
द्वारा: Hwang, Chuan-Yang, और अन्य
प्रकाशित: (2019)

Forged cheques: duties of paying and collecting banks / Abd. Malek Ahmad
द्वारा: Ahmad, Abd. Malek
प्रकाशित: (1985)

Public perception on safety awareness of petrol station / Muhammad Firdaus Zakaria
द्वारा: Zakaria, Muhammad Firdaus
प्रकाशित: (2013)

Modeling of vacuum gas oil hydrocracking process using lumping approach
द्वारा: Sadighi, Sepehr
प्रकाशित: (2024)

Practical End-to-End Verifiable Voting via Split-Value Representations and Randomized Partial Checking
द्वारा: Rivest, Ronald L., और अन्य
प्रकाशित: (2015)

Abstraction refinement for large scale model checking /
द्वारा: 405051 Wang, Chao, और अन्य
प्रकाशित: (2006)

Abstraction, refinement and proof for probabilistic systems /
द्वारा: 427471 Mclver, Annabelle, और अन्य
प्रकाशित: (2005)

Local abstraction refinement for probabilistic timed programs
द्वारा: Dräger, K, और अन्य
प्रकाशित: (2013)

Refinement Checking for Privacy Policies
द्वारा: Goldsmith, S
प्रकाशित: (2011)

Refinement checking for privacy policies.
द्वारा: Papanikolaou, N, और अन्य
प्रकाशित: (2012)

Refinement checking for privacy policies
द्वारा: Papanikolaou, N, और अन्य
प्रकाशित: (2012)

Refinement Checking for Privacy Policies
द्वारा: Goldsmith, S
प्रकाशित: (2011)

A logistic regression approach to compare the priority banking in CIMB preferred: A case study in Kuala Lumpur, Malaysia / Siti Nur Amirah Ab Aziz
द्वारा: Ab Aziz, Siti Nur Amirah
प्रकाशित: (2015)

Recognition of the cursive handwritten courtesy amounts of Malaysian bank cheques.
द्वारा: Sulaiman, Md. Nasir, और अन्य
प्रकाशित: (2001)