Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: formal verifications x
Clear All Modify Search

View:

Understanding Proofs

Jeremy Avigad

in The Philosophy of Mathematical Practice

Published in print:
2008
Published Online:
February 2010
ISBN:
9780199296453
eISBN:
9780191711961
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199296453.003.0013
Subject:
Philosophy, Logic/Philosophy of Mathematics

In informal speech, ascriptions of mathematical understanding are typically clarified by spelling out the kinds of abilities an agent is assumed to possess. This chapter argues that such an approach ... More


Formal Methods: Different Approaches for Verification

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0002
Subject:
Mathematics, Applied Mathematics

This chapter gives a brief overview of some formal methods and their use in the context of critical embedded systems development. While testing is a common practice for a lot of engineers as a way to ... More


View: