UNSPECIFIED (2005) Generating path conditions for timed systems. In: 5th International Conference on Integrated Formal Methods, NOV 29-DEC 02, 2005, Eindhoven, NETHERLANDS.

Full text not available from this repository.

Abstract

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
Publisher:	SPRINGER-VERLAG BERLIN
ISBN:	3-540-30492-4
ISSN:	0302-9743
Editor:	Romijn, J and Smith, G and VanDePol, J
Date:	2005
Volume:	3771
Number of Pages:	15
Page Range:	pp. 5-19
Publication Status:	Published
Title of Event:	5th International Conference on Integrated Formal Methods
Location of Event:	Eindhoven, NETHERLANDS
Date(s) of Event:	NOV 29-DEC 02, 2005
URI:	http://wrap.warwick.ac.uk/id/eprint/33939

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item