Using Java PathFinder for Construction of Abstractions of Java Programs
The growing complexity of software systems makes the verification of the systems very difficult. Techniques of formal verification and analysis are used to find bugs in the code, or to prove that the code satisfies some properties. A popular automated verification technique is model checking, which...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
2009
|
| Online Access: | http://www.nusl.cz/ntk/nusl-275237 |