Verification of communication protocols in web services : model-checking service compositions / by 464078 Tari, Zahir, Bertk̤, Pťer, 1952-, Mukherjee, Anshuman

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking…”
Get full text

Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: Get full text

Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: “…security protocol;adaptive model checking;learning algorithm;inexperienced teacher;symbolic automata…”
Get full text

The μ-Calculus Model-Checking Algorithm for Generalized Possibilistic Decision Process by Jiulei Jiang, Panqing Zhang, Zhanyou Ma

Subjects: Get full text

Model Checking with Right Censored Data Using Relative Belief Ratio by Luai Al-Labadi, Ayman Alzaatreh, Mark Asuncion

Subjects: Get full text

Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity by Jin Hyun Kim, Hyo Jin Jo, Insup Lee

“…In addition, we discuss that the results of model checking of those properties are consistent with the experiment results of MAuth-CAN implementation.…”
Get full text

Two Variable vs. Linear Temporal Logic in Model Checking and Games by Michael Benedikt, Rastislav Lenhardt, James Worrell

“…Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. …”
Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

“…This article presents a new method based on functionally-equivalent formalisation and model checking. This method can be used for automatic verification of I&C algorithms by model checking while preserving obtained proofs from a formalised model in the original algorithm. …”
Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus by Naoki Kobayashi, C. -H. Luke Ong

“…Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees generated by order-n recursion schemes is n-EXPTIME complete. …”
Get full text

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

“…We first prove that the satisfiability problem for D, over finite linear orders, is PSPACE-complete, and then we show that the same holds for its model checking problem, over finite Kripke structures. …”
Get full text

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking;service chain;information flow security;composibility…”
Get full text

Design and model checking of timed automata oriented architecture for Internet of thing by Guang Chen, Tonghai Jiang, Meng Wang, Xinyu Tang, Wenfei Ji

“…This article discusses the method and practice of time automaton modeling and model checking for the architecture of the Internet of thing system from the state and time dimensions. …”
Get full text

Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening by Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini

Subjects: Get full text

Probabilistic Model Checking GitHub Repositories for Software Project Analysis by Suhee Jo, Ryeonggu Kwon, Gihwon Kwon

Subjects: Get full text

A formal analysis method for composition protocol based on model checking by Meihua Xiao, Hanyu Zhao, Ke Yang, Ri Ouyang, Weiwei Song

Get full text

Model Checking for Real-Time Attack Detection in Water Distribution Systems by Francesco Mercaldo, Fabio Martinelli, Antonella Santone

Get full text

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

“…As a complementary technique of the BDD-based approach, bounded model checking (BMC) has been successfully applied to LTL symbolic model checking. …”
Get full text

Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems by Mohamad El Hariri, Samy Faddel, Osama Mohammed

“…In order to leverage the work of rule-based IDS, this paper presents an artificially intelligent physical-model-checking intrusion detection framework capable of detecting tampered-with control commands from control centers of power grids. …”
Get full text

BIM-Based Model Checking: A Scientometric Analysis and Critical Review by Sihao Li, Ziyang Jiang, Zhao Xu

“…The errors in BIM models can lead to significant losses in engineering projects, thus leading to BIM-based model checking (BMC) technology garnering an increasing amount of attention. …”
Get full text