Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFormal Methods in System Design, Volume 20
Volume 20, Number 1, January 2002
- Jean-Paul Bodeveix, Mamoun Filali:
Reduction and Quantifier Elimination Techniques for Program Validation. 69-89 - Ratan Nalumasu, Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols Through Refinement. 107-125
Volume 20, Number 2, March 2002
- Robert B. Jones, Jens U. Skakkebæk, David L. Dill:
Formal Verification of Out-of-Order Execution with Incremental Flushing. 139-158 - Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu:
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. 159-186 - Jun Sawada, Warren A. Hunt Jr.:
Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability. 187-222
Volume 20, Number 3, May 2002
- Ratan Nalumasu, Ganesh Gopalakrishnan:
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. 231-247 - Teodor Rus, Eric Van Wyk, Tom Halverson:
Generating Model Checkers from Algebraic Specifications. 249-284 - Javier Esparza, Stefan Römer, Walter Vogler:
An Improvement of McMillan's Unfolding Algorithm. 285-310 - Christoph Scholl, Bernd Becker, Thomas M. Weis:
On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. 311-326
maintained by 
, founded at 
, founded at 
last updated on 2019-04-25 22:09 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
