| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9657414 | Science of Computer Programming | 2005 | 22 Pages |
Abstract
We argue that our approach of building an executable model of the system with an axiomatically described functional language can bring benefits from both the testing and the formal reasoning worlds.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Hanbing Liu, J. Strother Moore,