Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

APSEC
2008
IEEE

favoriteEmaildiscussreport

136views Software Engineering» more APSEC 2008»

Using Abstraction to Verify Arbitrary Temporal Properties

13 years 11 months ago

Using Abstraction to Verify Arbitrary Temporal Properties

Download www.cmi.ac.in

straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 December 2008 Joint work with Ittai Balaban, Yonit Kesten, Lenore Zuck Veriﬁcation of Progress, Chennai, December 2008

Amir Pnueli

Real-time Traffic

APSEC 2008 | Arbitrary Temporal Properties | Software Engineering | Yonit Kesten | Zuck Veriﬁcation |

claim paper

Related Content

» Verifying Temporal Heap Properties Specified via Evolution Logic

» Verifying Temporal Properties of Reactive Systems A STeP Tutorial

» Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

» Dynamically inferring temporal properties

» Verifying safety properties using separation and heterogeneous abstractions

» On the Verification of Very Expressive Temporal Properties of Nonterminating Golog Program...

» Building Verifiable Sensing Applications Through Temporal Logic Specification

» Temporal skeletons for verifying time

» Past is for free on the complexity of verifying linear temporal properties with past

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	APSEC
Authors	Amir Pnueli

Comments (0)