Inductively verifying invariant properties of parameterized systems

10.1023/B:AUSE.0000017740.35552.88

Saved in:

Bibliographic Details
Main Authors:	Roychoudhury, A., Ramakrishnan, I.V.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Concurrent systems Folding Induction proofs Logic programming Parameterized systems Program transformations Unfolding
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39105
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39105
record_format	dspace
spelling	sg-nus-scholar.10635-391052015-01-08T14:39:33Z Inductively verifying invariant properties of parameterized systems Roychoudhury, A. Ramakrishnan, I.V. COMPUTER SCIENCE Concurrent systems Folding Induction proofs Logic programming Parameterized systems Program transformations Unfolding 10.1023/B:AUSE.0000017740.35552.88 Automated Software Engineering 11 2 101-139 ASOEE 2013-07-04T07:34:03Z 2013-07-04T07:34:03Z 2004 Article Roychoudhury, A.,Ramakrishnan, I.V. (2004). Inductively verifying invariant properties of parameterized systems. Automated Software Engineering 11 (2) : 101-139. ScholarBank@NUS Repository. <a href="https://doi.org/10.1023/B:AUSE.0000017740.35552.88" target="_blank">https://doi.org/10.1023/B:AUSE.0000017740.35552.88</a> 09288910 http://scholarbank.nus.edu.sg/handle/10635/39105 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Concurrent systems Folding Induction proofs Logic programming Parameterized systems Program transformations Unfolding
spellingShingle	Concurrent systems Folding Induction proofs Logic programming Parameterized systems Program transformations Unfolding Roychoudhury, A. Ramakrishnan, I.V. Inductively verifying invariant properties of parameterized systems
description	10.1023/B:AUSE.0000017740.35552.88
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Ramakrishnan, I.V.
format	Article
author	Roychoudhury, A. Ramakrishnan, I.V.
author_sort	Roychoudhury, A.
title	Inductively verifying invariant properties of parameterized systems
title_short	Inductively verifying invariant properties of parameterized systems
title_full	Inductively verifying invariant properties of parameterized systems
title_fullStr	Inductively verifying invariant properties of parameterized systems
title_full_unstemmed	Inductively verifying invariant properties of parameterized systems
title_sort	inductively verifying invariant properties of parameterized systems
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39105
_version_	1681082036812513280

Inductively verifying invariant properties of parameterized systems

Similar Items