PPRuNe Forums - Search Results
PPRuNe Forums

Go Back  PPRuNe Forums > Search Forums
Reload this Page >

Search Results

Register
FAQ
Calendar
Wikiposts
Today's Posts
Search
Vendor Directory
Search: Posts Made By: AirborneAgain
Showing results 1 to 2 of 2
Search took 0.00 seconds.
Forum: Tech Log
10th Jan 2014, 06:53
Replies: 2,133
Views: 1,675,965
Posted By AirborneAgain

Actually, formal proofs are used extensively in...

Actually, formal proofs are used extensively in the design of microprocessors. The need for this is something the microelectronics industry learned the hard way after the Pentium I floating point...
Forum: Tech Log
8th Jan 2014, 07:23
Replies: 2,133
Views: 1,675,965
Posted By AirborneAgain

Yes, you can...

Yes, you can (https://en.wikipedia.org/wiki/Formal_methods), and in safety-critical applications you frequently do. (See e.g. this presentation from Airbus...
Showing results 1 to 2 of 2


 
Forum Jump

Contact Us - Archive - Advertising - Cookie Policy - Privacy Statement - Terms of Service

Copyright © 2024 MH Sub I, LLC dba Internet Brands. All rights reserved. Use of this site indicates your consent to the Terms of Use.