Kenneth L. McMillan (Q15823365)
Jump to navigation
Jump to search
American computer scientist
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kenneth L. McMillan |
American computer scientist |
Statements
1 reference
1998
For their invention of symbolic model checking, a method of formally checking system designs, which is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas. (English)
Identifiers
2 references
Sitelinks
Wikipedia(2 entries)
- dewiki Kenneth L. McMillan
- enwiki Kenneth L. McMillan