![Applied mathematics / Knowledge / Abstract interpretation / Software engineering / Formal verification / Software verification / Software development process / Computer science / System / Science / Formal methods / Patrick Cousot Applied mathematics / Knowledge / Abstract interpretation / Software engineering / Formal verification / Software verification / Software development process / Computer science / System / Science / Formal methods / Patrick Cousot](https://www.pdfsearch.io/img/656eab929dc92736cec291f13d3c2586.jpg)
| Document Date: 2005-05-01 14:30:35 Open Document File Size: 51,08 KBShare Result on Facebook
Company Complex Computer Systems / / IndustryTerm customer electronics / present-day software / few useful automated tools / flight control software / software engineers / hardware computer systems / automatic software verification problem / rail transportation / real-time systems / software complexity / aerospace / large software / energy / / Organization Massachusetts Institute of Technology / Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics / / Person Patrick Cousot Jerome / / URL www.di.ens.fr/~cousot / www.mit.edu/~cousot / /
SocialTag |