| 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 |
« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology