Loading...
Please wait, while we are loading the content...
Similar Documents
Automatically Inferring Temporal Properties
| Content Provider | Semantic Scholar |
|---|---|
| Author | Yang, Jinlin |
| Copyright Year | 2005 |
| Abstract | 3. PROBLEM STATAMENT Temporal properties specify constraints on the order in which a program’s state changes. Satisfying certain temporal properties is essential for a program to be correct. Many formal verification tools have been developed to check certain temporal properties. Researchers have demonstrated the practical value of these tools in some domains (e.g. verifying the safety of device drivers) [8, 17]. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.virginia.edu/jinlin/publications/ICSEDOC05.pdf |
| Alternate Webpage(s) | http://www.cs.virginia.edu/~jy6q/publications/ICSEDOC05.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |