Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yuchao She
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
A Basis for Formal Robustness Checking
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
Formal Verification of a Group Membership Protocol Using Model Checking
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rapid Property Specification and Checking for Model-Based Formalisms
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
