Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: formal methods x
  • Recently Published x
Clear All Modify Search

View:

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


Conclusion: The Theme Revisited

Jan Sprenger and Stephan Hartmann

in Bayesian Philosophy of Science

Published in print:
2019
Published Online:
October 2019
ISBN:
9780199672110
eISBN:
9780191881671
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780199672110.003.0013
Subject:
Philosophy, Philosophy of Science

In this final chapter, we look back on the results of the book and the methods we used. In particular, we enter a discussion whether Bayesian philosophy of science can and should be labeled a proper ... More


View: