Publication:4551174
From MaRDI portal
zbMath0991.68639MaRDI QIDQ4551174
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020396
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
68M07: Mathematical problems of computer architecture
Related Items
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics, Local proofs for global safety properties, Algebraic models of correctness for abstract pipelines., Efficient Information-Flow Verification Under Speculative Execution
Uses Software