UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-36818-9_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2015English

A Basis for Formal Robustness Checking

2008English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Formal Verification of a Group Membership Protocol Using Model Checking

English

A Practical Formal Model for Safety Analysis in Capability-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Rapid Property Specification and Checking for Model-Based Formalisms

2011English

Underapproximation for Model-Checking Based on Random Cryptographic Constructions

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy