Jak najít softwarové chyby (včas) Formální verifikace programů
2
Home People Research Seminar Software Publications For Students Links Contact Search We have updated and changed our web site The requested information has been probably moved to a different location. Please use the main menu to navigate the web site. In case you require urgently some information which you are unable to locate, please feel free to drop us a short email on info<at- sign>d3s.mff.cuni.cz. • Department of Distributed and Dependable Systems • Faculty of Mathematics and Physics • Charles University
description
Jak najít softwarové chyby (včas) Formální verifikace programů. Ji ří Adámek. Zajímavé softwarové chyby (1). 23. září 1999: sonda Mars Climate Orbiter (NASA) ztracena při vstupu do atmosféry Marsu Důvodem byla softwarová chyba - PowerPoint PPT Presentation
Transcript of Jak najít softwarové chyby (včas) Formální verifikace programů
Home
People
Research
Seminar
Software
Publications
For Students
Links
Contact
Search
We have updated and changed our web siteThe requested information has been probably moved to a different location. Please use the main menu to navigate the web site.
In case you require urgently some information which you are unable to locate, please feel free to drop us a short email on info<at-sign>d3s.mff.cuni.cz.
• Department of Distributed and Dependable Systems • Faculty of Mathematics and Physics • Charles University • Malostranske namesti 25 • 118 00 Praha 1 • Czech Republic
• Phone: +420 951 554 267, +420 951 554 236 • Email: info<at-sign>d3s.mff.cuni.cz • • How to find us?
, 04/20/23,
HTML: <meta name="" content="Department of Distributed and Dependable Systems">
, 04/20/23,
HTML: <meta name="" content="Official web page of the Department of Distributed and Dependable Systems, Charles University">
, 04/20/23,
HTML: <meta name="" content="Official web page of the Department of Distributed and Dependable Systems, Charles University">
, 04/20/23,
HTML: <meta name="" content="http://d3s.mff.cuni.cz/publications/adamek-softwarove_chyby.ppt">
, 04/20/23,
HTML: <meta name="" content="http://d3s.mff.cuni.cz/publications/adamek-softwarove_chyby.ppt">
, 04/20/23,
HTML: <meta name="" content="http://d3s.mff.cuni.cz/.lib/img/d3s-logo-fb.png">
, 04/20/23,
HTML: <meta name="" content="http://d3s.mff.cuni.cz/.lib/img/d3s-logo-fb.png">
Modified on 2016-01-08
