Search Result "Formal verification"
A Survey on Formal Verification of Separation Kernels
Journal: Recent Advances in Computer Science and Communications
Volume: 15 Issue: 6 Year: 2022 Page: 832-850
Author(s): Ram Chandra Bhushan,Dharmendra K. Yadav
Formal Specification and Verification of Data Separation for Muen Separation Kernel
Journal: Recent Advances in Computer Science and Communications
Volume: 15 Issue: 2 Year: 2022 Page: 274-283
Author(s): Ram C. Bhushan,Dharmendra K. Yadav
Formal Analysis of the Real-time Multimedia Network Protocol ZRTP
Journal: Recent Advances in Electrical & Electronic Engineering
Volume: 8 Issue: 1 Year: 2015 Page: 12-17
Author(s): Siqi Lu,Wenbo Wang,Qingfeng Cheng
A Comparative Study on Transformation of UML/OCL to Other Specifications
Journal: Recent Advances in Computer Science and Communications
Volume: 13 Issue: 2 Year: 2020 Page: 256-264
Author(s): Jagadeeswaran Thangaraj,Senthilkumaran Ulaganathan
A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets
Journal: Recent Patents on Computer Science
Volume: 3 Issue: 1 Year: 2010 Page: 39-53
Author(s): Yacine Kissoum, Zaidi Sahnoun, Kamel Barkaoui
Defining Theoretical Foundations to Unified Metamodel For Model Reusability
Journal: Recent Advances in Computer Science and Communications
Volume: 13 Issue: 4 Year: 2020 Page: 620-626
Author(s): Jagadeeswaran Thangaraj,Senthilkumaran Ulaganathan
Model Checking a Synchronous Diabetes-Cancer Logical Network
Journal: Current Bioinformatics
Volume: 8 Issue: 1 Year: 2013 Page: 9-15
Author(s): Haijun Gong,Paolo Zuliani,Edmund M. Clarke
Symbolic Analysis by Determinant Decision Diagrams and Applications
Ebook: Design of Analog Circuits through Symbolic Analysis
Volume: 1 Year: 2012
Author(s): Sheldon X.-D. Tan
Doi: 10.2174/978160805095611201010203
Semantic Similarities as Discriminative Features of Protein Complexes
Journal: Current Bioinformatics
Volume: 8 Issue: 3 Year: 2013 Page: 347-356
Author(s): Pietro Hiram Guzzi, Marianna Milano, Pierangelo Veltri, Mario Cannataro
Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs
Journal: Recent Patents on Computer Science
Volume: 4 Issue: 1 Year: 2011 Page: 66-70
Author(s): Jordi Vallverdu