Navigation section
formal methods
-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
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 Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career program verification programming languages research software engineering system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
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 computer science which you will learn...- News
- Thread
- computer mouse computer science computing history expert conversations formal methods icse 2011 john rushby sri international verification wolfram schulte
- Replies: 0
- Forum: Live RSS Feeds