Theory of Multi Core Hypervisor Verification-Reference-Cited by-同舟云学术

Theory of Multi Core Hypervisor Verification

Published:2013 Issue: Volume: Page:1-27
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cohen Ernie,Paul Wolfgang,Schmaltz Sabine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-35843-2_1

Reference55 articles.

1. Verisoft Consortium: The Verisoft-XT Project (2007-2010), http://www.verisoftxt.de/

2. Lecture Notes in Computer Science;D. Leinenbach,2009

3. Hartmanis, J., Stearns, R.E.: On the Computational Complexity of Algorithms. Transactions of the American Mathematical Society 117, 285–306 (1965)

4. MIPS Technologies 1225 Charleston Road, Mountain View, CA: MIPS32 Architecture for Programmers Volume II: The MIPS32 Instruction Set, 2.5 edn. (2005)

5. Freescale semiconductor: Programming Environments Manual for 32-Bit Implementations of the PowerPCTMArchitecture (2005)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Modeling and Verification of the Sequential Kernel of an Embedded Operating System;2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP);2021-12-17

2. Deductive Binary Code Verification Against Source-Code-Level Specifications;Tests and Proofs;2020

3. MultiNyx;Proceedings of the Thirteenth EuroSys Conference;2018-04-23

4. Development of Network Cyber Attack Training Curriculum for Security Staff;Advances in Computer Science and Ubiquitous Computing;2017-12-20

5. A Simulated Infiltration Test for Network in Virtual Environment Using VMware Virtualization Technique;Advances in Computer Science and Ubiquitous Computing;2017-12-20