The temporal logic of programs Export

@inproceedings{citeulike:4406307, abstract = {A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in which the time dependence of events is the basic concept. Two formal systems are presented for providing a basis for temporal reasoning. One forms a formalization of the method of intermittent assertions, while the other is an adaptation of the tense logic system Kb, and is particularly suitable for reasoning about concurrent programs.}, address = {Los Alamitos, CA, USA}, author = {Pnueli, Amir}, citeulike-article-id = {4406307}, citeulike-linkout-0 = {http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32}, citeulike-linkout-1 = {http://dx.doi.org/10.1109/SFCS.1977.32}, citeulike-linkout-2 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4567924}, day = {18}, doi = {10.1109/SFCS.1977.32}, issn = {0272-5428}, journal = {Foundations of Computer Science, 1977., 18th Annual Symposium on}, keywords = {temporal-logic}, month = {July}, pages = {46--57}, posted-at = {2009-04-26 13:42:48}, priority = {2}, publisher = {IEEE Computer Society}, title = {The temporal logic of programs}, url = {http://dx.doi.org/10.1109/SFCS.1977.32}, volume = {0}, year = {2008} }

TY - CONF ID - citeulike:4406307 L3 - citeulike-article-id:4406307 N2 - A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in which the time dependence of events is the basic concept. Two formal systems are presented for providing a basis for temporal reasoning. One forms a formalization of the method of intermittent assertions, while the other is an adaptation of the tense logic system Kb, and is particularly suitable for reasoning about concurrent programs. JF - Foundations of Computer Science, 1977., 18th Annual Symposium on SN - 0272-5428 AD - Los Alamitos, CA, USA EP - 57 TI - The temporal logic of programs PB - IEEE Computer Society VL - 0 SP - 46 KW - temporal-logic AU - Pnueli, Amir PY - 2008/07/18/ UR - http://dx.doi.org/10.1109/SFCS.1977.32 ER -