software verification
3 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
17 minutes, 49 secondsICSE 2011: Grigore Rosu - The Art and Science of Program VerificationJun 22, 2011 at 7:00 AM
3
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal… -
36 minutes, 6 secondsICSE 2011: John Rushby - Formal Methods, Verification and Some Computing HistoryJun 15, 2011 at 10:19 AM 3
Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the fields of computer science and… -
29 minutes, 49 secondsEMIC - Software VerificationToday – more than ever – complex software architectures, configurations and the implications of parallel software running on multi-core hardware call for a new methodology to make sure that software is of high-quality and does what it is was designed for. By using a formal approach and going…
