Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-3-319-67104-8_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Improving Reliability of Myocontrol Using Formal Verification

IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal MedicineMedicineComputer Science ApplicationsBiomedical EngineeringNeuroscience
2019English

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

Advances in Software Engineering
2011English

The Study on Formal Verification of OS Kernel

International Journal of Wireless and Microwave Technologies
2011English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Verification Methods for the Divergent Runs of Clock Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security
2016English

Formal Verification of Netlog Protocols

2012English

Formal Verification of Hybrid Systems

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy