| Publication Type |
poster |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Li, Peng; Regehr, John |
| Title |
T-check: bug finding for sensor networks |
| Date |
2010-02-26 |
| Description |
A safety property is true if something bad never happens. If any state in an execution violates the safety property, the entire execution violates that property. A liveness property holds if something good will eventually happen. An execution satisfies a liveness property if the execution will encounter a live state in finite time. |
| Type |
Text; Image |
| Publisher |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Li, P., &; Regehr, J. (2010). T-check: bug finding for sensor networks. University of Utah. |
| Rights Management |
(c) Li, Peng; Regehr, John |
| Format Medium |
application/pdf |
| Format Extent |
676,937 bytes |
| Identifier |
ir-main/14951 |
| ARK |
ark:/87278/s6cj8z6r |
| Setname |
ir_uspace |
| ID |
707739 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6cj8z6r |
