Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations

Citation

Bishop, S, Fairbairn, M, Norrish, M et al 2006, 'Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations', ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2006), ed. J.G. Morrisett, S.L. Peyton Jones, Association for Computing Machinery Inc (ACM), USA, pp. 55-66.

Year

2006

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers