Article

VIS

Authors:

Robert K. Brayton,

Gary D. Hachtel,

Alberto L. Sangiovanni-Vincentelli,

Tiziano VillaAuthors Info & Claims

FMCAD '96: Proceedings of the First International Conference on Formal Methods in Computer-Aided Design

Pages 248 - 256

Published: 06 November 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Cabodi GCamurati PGarcia LMurciano MNocco SQuer SBenini LDe Micheli GAl-Hashimi BMueller W(2009)Speeding up model checking by exploiting explicit and hidden verification constraintsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1875022(1686-1691)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1875022
Cabodi GCamurati PGarcia LMurciano MNocco SQuer S(2008)Trading-off SAT search and variable quantifications for effective unbounded model checkingProceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design10.5555/1517424.1517450(1-8)Online publication date: 17-Nov-2008
https://dl.acm.org/doi/10.5555/1517424.1517450
Cabodi GCamurati PMurciano MNassif SRoychowdhury J(2008)Automated abstraction by incremental refinement in interpolant-based model checkingProceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design10.5555/1509456.1509495(129-136)Online publication date: 10-Nov-2008
https://dl.acm.org/doi/10.5555/1509456.1509495
Show More Cited By

VIS
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

Comments

Information & Contributors

Information

Published In

FMCAD '96: Proceedings of the First International Conference on Formal Methods in Computer-Aided Design

November 1996

467 pages

ISBN:3540619372

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 06 November 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cabodi GCamurati PGarcia LMurciano MNocco SQuer SBenini LDe Micheli GAl-Hashimi BMueller W(2009)Speeding up model checking by exploiting explicit and hidden verification constraintsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1875022(1686-1691)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1875022
Cabodi GCamurati PGarcia LMurciano MNocco SQuer S(2008)Trading-off SAT search and variable quantifications for effective unbounded model checkingProceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design10.5555/1517424.1517450(1-8)Online publication date: 17-Nov-2008
https://dl.acm.org/doi/10.5555/1517424.1517450
Cabodi GCamurati PMurciano MNassif SRoychowdhury J(2008)Automated abstraction by incremental refinement in interpolant-based model checkingProceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design10.5555/1509456.1509495(129-136)Online publication date: 10-Nov-2008
https://dl.acm.org/doi/10.5555/1509456.1509495
Ward DSomenzi FHassoun S(2006)Decomposing image computation for symbolic reachability analysis using control flow informationProceedings of the 2006 IEEE/ACM international conference on Computer-aided design10.1145/1233501.1233662(779-785)Online publication date: 5-Nov-2006
https://dl.acm.org/doi/10.1145/1233501.1233662
Bloem RGabow HSomenzi F(2006)An Algorithm for Strongly Connected Component Analysis in n log n Symbolic StepsFormal Methods in System Design10.1007/s10703-006-4341-z28:1(37-56)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.1007/s10703-006-4341-z
Cabodi GNocco SQuer S(2005)Are BDDs still alive within sequential verification?International Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-004-0172-77:2(129-142)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1007/s10009-004-0172-7
Ward DSomenzi F(2005)Automatic generation of hints for symbolic traversalProceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods10.1007/11560548_17(207-221)Online publication date: 3-Oct-2005
https://dl.acm.org/doi/10.1007/11560548_17
Černá IPelánek R(2003)Distributed explicit fair cycle detectionProceedings of the 10th international conference on Model checking software10.5555/1767111.1767115(49-73)Online publication date: 9-May-2003
https://dl.acm.org/doi/10.5555/1767111.1767115
Amla NKurshan RMcMillan KMedel R(2003)Experimental analysis of different techniques for bounded model checkingProceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1765871.1765877(34-48)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1765871.1765877
Moon IKukula JRavi KSomenzi FDe Micheli G(2000)To split or to conjoinProceedings of the 37th Annual Design Automation Conference10.1145/337292.337305(23-28)Online publication date: 1-Jun-2000
https://dl.acm.org/doi/10.1145/337292.337305
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Learn MS VIS Basic Scripting

SimNet XPert Assessment PageOut Release 3.1

Programming in RPG IV

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

Cited By

Recommendations

Learn MS VIS Basic Scripting

SimNet XPert Assessment PageOut Release 3.1

Programming in RPG IV

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations