Generating path conditions for timed systems
UNSPECIFIED (2005) Generating path conditions for timed systems. In: 5th International Conference on Integrated Formal Methods, Eindhoven, NETHERLANDS, NOV 29-DEC 02, 2005. Published in: INTEGRATED FORMAL METHODS, PROCEEDINGS, 3771 pp. 5-19.Full text not available from this repository.
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of code in isolation, i.e., without providing the exact values of parameters with which it is called. Our method can also be used for the automatic generation of test cases for unit testing. The current generalization of the calculation of path condition for the timed case turns out to be quite tricky, since not only the selected path contributes to the path condition, but also the timing constraints of alternative choices in the code.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Series Name:||LECTURE NOTES IN COMPUTER SCIENCE|
|Journal or Publication Title:||INTEGRATED FORMAL METHODS, PROCEEDINGS|
|Editor:||Romijn, J and Smith, G and VanDePol, J|
|Number of Pages:||15|
|Page Range:||pp. 5-19|
|Title of Event:||5th International Conference on Integrated Formal Methods|
|Location of Event:||Eindhoven, NETHERLANDS|
|Date(s) of Event:||NOV 29-DEC 02, 2005|
Actions (login required)