Software Abstractions: Logic, Language, and Analysis
Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development
| Author: | Daniel Jackson | ISBN: | 9780262260848 |
| Publisher: | MIT Press | Publication: | April 7, 2006 |
| Imprint: | Language: | English |
| Author: | Daniel Jackson |
| ISBN: | 9780262260848 |
| Publisher: | MIT Press |
| Publication: | April 7, 2006 |
| Imprint: | |
| Language: | English |
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
