Advertisement

Understanding Formal Methods

  • Jean-François Monin
  • Michael G. Hinchey

Table of contents

  1. Front Matter
    Pages i-xv
  2. Jean-François Monin, Michael G. Hinchey
    Pages 1-13
  3. Jean-François Monin, Michael G. Hinchey
    Pages 15-34
  4. Jean-François Monin, Michael G. Hinchey
    Pages 35-64
  5. Jean-François Monin, Michael G. Hinchey
    Pages 65-74
  6. Jean-François Monin, Michael G. Hinchey
    Pages 75-94
  7. Jean-François Monin, Michael G. Hinchey
    Pages 95-110
  8. Jean-François Monin, Michael G. Hinchey
    Pages 111-124
  9. Jean-François Monin, Michael G. Hinchey
    Pages 125-148
  10. Jean-François Monin, Michael G. Hinchey
    Pages 149-188
  11. Jean-François Monin, Michael G. Hinchey
    Pages 189-201
  12. Jean-François Monin, Michael G. Hinchey
    Pages 203-232
  13. Jean-François Monin, Michael G. Hinchey
    Pages 233-254
  14. Back Matter
    Pages 255-275

About this book

Keywords

Automat automated theorem proving formal method formal specification logic theorem proving verification

Editors and affiliations

  • Jean-François Monin
    • 1
  • Michael G. Hinchey
    • 2
  1. 1.France Télécom R&D, Technopole AnticipaDTL/TALLannionFrance
  2. 2.Software Verification Research CentreUniversity of QueenslandBrisbaneAustralia

Bibliographic information

Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering