Verifying an interactive consistency circuit: A case study in the reuse of a verification technology (original) (raw)
Related papers
Automatic verification of the Inter-consistency fault tolerance mechanism
2001
Verification of a microprocessor using real world applications
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 1999
Formal verification of microprocessors
Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, 1989
Towards the formal verification of the requirements and design of a processor interface unit
1993
Formal verification of a fault tolerant computer
[1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference
Design and verification of a highly concurrent machine
Microprocessors and …, 1992
Concurrent checking of program flow using single-chip microcomputers
Microprocessing and Microprogramming, 1988
The practical verification of microprocessor designs
COMPCON Spring '91 Digest of Papers
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
Electronic Notes in Theoretical Computer Science, 2006
Transactional coherence and consistency: simplifying parallel hardware and software
IEEE Micro, 2004
2016
Formal verification of an IBM CoreConnect processor local bus arbiter core
2000
Verifying Communication Protocols Using Live Sequence Chart Specifications
Electronic Notes in Theoretical Computer Science, 2009
Verification of Shared-Reading Synchronisers
The Verification of a Distributed System
Queue
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
Computing Research Repository, 2001
Design for verification for concurrent and distributed programs
2005
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science, 2001
Formal Verification of a Microkernel Used in Dependable Software Systems
Lecture Notes in Computer Science, 2009
A methodological construction of an efficient sequential consistency protocol
2004
Real-Time Safety Critical Systems series, 1994
Formal Verification of a Processor's Bus Interface Unit
2007
A verification approach for system-level concurrent programs
Verified Software: Theories, …, 2008
Charme, 1999
Design strategy for a formally verified reliable computing platform
COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance, 1991
The Hardware Verification Workbench
2001