
@article{CES86,
title="Automatic verification of finite-state concurrent systems using temporal logic specifications",
author="E. Clarke and E. Emerson and A. Sistla",
journal="ACM Transactions on Programming Languages and Systems",
volume=8,
number=2,
year=1986}

@inproceedings{CGH93,
title={{Verification of the Futurebus+ cache coherence protocol}},
author="E. Clarke and O. Grumberg and H. Hiraishi and S. Jha and D. Long and K. McMillan and L. Ness",
booktitle="Proceedings of the Eleventh International Symposium on Computer Hardware Description Languages and their Applications",
year=1993,
editor="L. Claesen"}

@inproceedings{CAHJM02,
author="A. Chakrabarti and L. Alfaro and T. Henzinger and M. Jurdzinski and F. Mang",
title="Interface compatibility checking for software modules",
booktitle="14th International Conference on Computer-Aided Verification",
series="lncs",
number=2404,
year=2002,
publisher="Springer-Verlag"}

@conference{FH02,
author="X. Feng and A. Hu",
title="Automatic Formal Verification for Scheduled VLIW Code",
booktitle="ACM SIGPLAN Joint Conference: Languages, Compilers, and
Tools for Embedded Systems, and Software and Compilers for Embedded Systems",
year=2002}

@conference{P99,
author="L. Paulson",
title={{Proving Security Protocols Correct}},
booktitle="IEEE Symposium on Logic in Computer Science",
year=1999}

% was P01b, which clashed with an entry in lf.bib
@conference{Paulson01b,
author="L. Paulson",
title="Verifying the SET Protocol",
booktitle="International Joint Conference on Automated Reasoning",
year=2001}

@article{RSS99,
author="H. Rue\ss\ and N. Shankar and M. Srivas",
title={{Modular Verification of SRT Division}},
journal="Formal Methods in System Design",
volume=14,
number=1,
year=1999}

@inproceedings{H00,
author="J. Harrison",
title={{Formal Verification of IA-64 Division Algorithms}},
booktitle="13th International Conference on Theorem Proving in Higher Order Logics",
year=2000}

@inproceedings{M98,
author="J. Moore",
title="An ACL2 Proof of Write Invalidate Cache Coherence",
editor="A. Hu and M. Vardi",
booktitle="10th International Conference on Computer-Aided Verification",
year=1998}

@article{MLK98,
author="J. Moore and T. Lynch and M. Kaufmann",
title={{A Mechanically Checked Proof of the Correctness of the Kernel of the AMD5k86 Floating-Point Division Program}},
journal="IEEE Transactions on Computers",
volume=47,
number=9,
year=1998}

@article{LKR99,
title={{Building Reliable, High-Performance Communication Systems from Components}},
author="X. Liu and C. Kreitz and R. van Renesse and J. Hickey and M. Hayden and K. Birman and R. Constable",
journal="Operating Systems Review",
volume=34,
number=5,
year=1999}

@article{KN03,
title={{Verified Bytecode Verifiers}},
author = "G. Klein and T. Nipkow",
journal="Theoretical Computer Science",
volume=298,
number=3,
pages="583-626", 
year = 2003}

@article{VB03,
author="M. Velev and R. Bryant", 
title={{Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors}},
journal={{Journal of Symbolic Computation}},
volume=35,
number=2,
month=feb,
year=2003,
pages="73-106"}

@inproceedings{shankar02,
author="N. Shankar",
title={{Little Engines of Proof}},
booktitle="Invited Paper at Formal Methods Europe",
year=2002}

@inproceedings{norman+02,
  author = "G. Norman and V. Shmatikov",
  title = {{Analysis of Probabilistic Contract Signing}},
  booktitle = "In BCSFACS Formal Aspects of Security (FASec '02)",
  year = "2002"}