High-density reachability analysis

We address the problem of reachability analysis for large finite state systems. Symbolic techniques have revolutionized reachability analysis but still have limitations in traversing large systems. We present techniques to improve the symbolic breadth-first traversal and compute a lower bound on the...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 1995 IEEE/ACM international conference on Computer-aided design pp. 154 - 158
Main Authors Ravi, Kavita, Somenzi, Fabio
Format Conference Proceeding
LanguageEnglish
Published Washington, DC, USA IEEE Computer Society 01.12.1995
SeriesACM Conferences
Subjects
Computing methodologies > Symbolic and algebraic manipulation
Theory of computation > Design and analysis of algorithms
Online AccessGet full text
ISBN9780818672132
0818672137
DOI10.5555/224841.224874

Cover

Abstract We address the problem of reachability analysis for large finite state systems. Symbolic techniques have revolutionized reachability analysis but still have limitations in traversing large systems. We present techniques to improve the symbolic breadth-first traversal and compute a lower bound on the reachable states. We identify the problem as one of density during traversal and our techniques seek to improve the same. Our results show a marked improvement on the existing breadth-first traversal methods.
AbstractList We address the problem of reachability analysis for large finite state systems. Symbolic techniques have revolutionized reachability analysis but still have limitations in traversing large systems. We present techniques to improve the symbolic breadth-first traversal and compute a lower bound on the reachable states. We identify the problem as one of density during traversal and our techniques seek to improve the same. Our results show a marked improvement on the existing breadth-first traversal methods.
Author Somenzi, Fabio
Ravi, Kavita
Author_xml – sequence: 1
  givenname: Kavita
  surname: Ravi
  fullname: Ravi, Kavita
  organization: Dept. of Electrical and Computer Engineering, University of Colorado at Boulder
– sequence: 2
  givenname: Fabio
  surname: Somenzi
  fullname: Somenzi, Fabio
  organization: Dept. of Electrical and Computer Engineering, University of Colorado at Boulder
BookMark eNqNj8FKAzEURQMqqHWW7sWFK6dN8l4myVKKWqHgpq7DyySx0XEGmm76984wfoB3c7lwuHCu2Xk_9JGxW8GXasxKSjQollNpPGOV1YYbYRotBchLVpXyxcegEmjNFbvf5M99HWJf8vF0d4jU7snnbhrUU3cqudywi0RdidVfL9jHy_Nuvam3769v66dtTULBsU6oG4sNcqEbL3iElgcdSEnNNYGw3qNKEMg0ATgYAK1bpMQ9ok9gPSzY4_xL7Y_zw_BdnOBuknKzlJulnD_kmEb84V84_AJLkUyk
ContentType Conference Proceeding
Copyright Copyright (c) 1995 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Copyright_xml – notice: Copyright (c) 1995 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
DOI 10.5555/224841.224874
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 158
GroupedDBID 6IE
AAJGR
ACGHX
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
OCL
RIB
RIC
RIE
ID FETCH-LOGICAL-a153t-f47694640176b10e3c0d7da52707a319bb45f3da86d30383377c4af0b44bf39b3
ISBN 9780818672132
0818672137
IngestDate Wed Jan 31 06:55:17 EST 2024
Wed Jan 31 06:43:11 EST 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MeetingName ICCAD '95: International Conference on Computer Aided Design
MergedId FETCHMERGED-LOGICAL-a153t-f47694640176b10e3c0d7da52707a319bb45f3da86d30383377c4af0b44bf39b3
PageCount 5
ParticipantIDs acm_books_10_5555_224841_224874
acm_books_10_5555_224841_224874_brief
PublicationCentury 1900
PublicationDate 19951201
PublicationDateYYYYMMDD 1995-12-01
PublicationDate_xml – month: 12
  year: 1995
  text: 19951201
  day: 01
PublicationDecade 1990
PublicationPlace Washington, DC, USA
PublicationPlace_xml – name: Washington, DC, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
PublicationYear 1995
Publisher IEEE Computer Society
Publisher_xml – name: IEEE Computer Society
SSID ssj0000451498
Score 1.2987962
Snippet We address the problem of reachability analysis for large finite state systems. Symbolic techniques have revolutionized reachability analysis but still have...
SourceID acm
SourceType Publisher
StartPage 154
SubjectTerms Computing methodologies -- Symbolic and algebraic manipulation
Theory of computation -- Design and analysis of algorithms
Title High-density reachability analysis
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07b8IwELYKUzv1QVX6RFU7IbdJ7MTJ0AkVoUpUlQoSWxTnkq0gQdqBX9-7OC8QEmoZksiBS-zPnO_su8-MPViRgAhEyv3AdbkEx-UagoQ7KVho7qfg5MsF43dvNJVvM3dW7lVeZJdk-ile78wr-Q-qWIa4UpbsH5CthGIBXiO-eESE8bhl_O4cZz6qwlW51E-p0H1y4IgnYTDO2SDqCb-4Su-jNYJyQwdOLJHQh0YsR7FvEDruHCjCHS31JYVdGlJvomwyVCb1KtGPiQrAc1Yp-k9id1jnN4b4y4XRYMSsvHqhl6uzDRuTD3ky92YgB9WnetsyznTDQzWMeY5dTGIaLWkb3uhiwLUNd_u2LnfxQ-kqjvQlOvJ4UrLFWijSZOlVM2nEkCMDPyf3LB6mCmql6uGGXZVEPm8IJJsk_mpYFJNj1qlr36uBPGEHyfyUHTVoIs_YfROIXhOIXglEh02Hr5PBiBd7W_AIx5iMp1J5gfTQu1Wetq1ExBYoiFxHWSpCtai1dFP8G_keoJHhC6FULKPU0lLqVARanLP2fDFPLlgvBqG174OOQMnEBm0LwHEoxlI7QQO1y-6wjiH121WIPh-1QmhaITSt0GWPe74Rauwb6eVeSVfssO4m16ydLb-TG7TaMn2bg_YLePs5uQ
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+1995+IEEE%2FACM+international+conference+on+Computer-aided+design&rft.atitle=High-density+reachability+analysis&rft.au=Ravi%2C+Kavita&rft.au=Somenzi%2C+Fabio&rft.series=ACM+Conferences&rft.date=1995-12-01&rft.pub=IEEE+Computer+Society&rft.isbn=9780818672132&rft.spage=154&rft.epage=158&rft_id=info:doi/10.5555%2F224841.224874
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/sc.gif&client=summon&freeimage=true