Article

Free access

Verification of systems containing counters

Authors:

Enrico Macii,

Bernard Plessier,

Fabio SomenziAuthors Info & Claims

ICCAD '92: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

Pages 179 - 182

Published: 08 November 1992 Publication History

PDF eReader

References

[1]

R. P. Kurshan, "Analysis of Discrete Events Coordination", /,NC$, Vol. 430, pp. 414-453, 1990.

Digital Library

Google Scholar

[2]

7. Har El, R. P. Kurshan, "Software for Analytical Developmerit of Communications Protocols, AT&T Tech. Journal, pp. 45-59, January 1990.

Google Scholar

[3]

O. Coudert, C. Berthet, J. C. Msdre~ "Verification of Sequential Machines Using Boolean Functional Vectors", Internationa| Worka~op on Applied Fomai Methods for Correct VLS{ D:s{gn, pp. 111-128, November 1989.

Google Scholar

[4]

H. Cho, G. D. Hschtel, S. W. Jeong. B. Plessier, E. Schwars, F. Somensi, "ATPG Aspects of FSM"~erification", I(TCAD-90, pp. 134-137, November 1990.

Google Scholar

[5]

C. Mead, I,. Conway, Introduction to Vl, S_r Systems, Addison- Wesley, 1980.

Digital Library

Google Scholar

[6]

S. Devadss, K. Keutser, A. S. Krishnakumsr, "Design Verificstion and Reachability Analys|s Us|ng Algebraic manipulation", ICCD-91, pp. 250-258, October 1991.

Digital Library

Google Scholar

[7]

J.R. Burch, E. M. Clarke, K. L. McMillan, D. Dill, Sequential Circuit Verification Using Symbolic Model Checking", DAC- 90, pp. 46-51, June 1990.

Digital Library

Google Scholar

[8]

A. Ghosh, S. Devadss, UA Mixed Depth-P;rst/Breadth-Pirst TraversaI Technique for Sequential Logic Verification", MC'NC Worklhop on l, og~c Synthesis, Vol. 3, May 1991.

Google Scholar

[9]

E. M. Clarke, O. Grunberg, D. E. Long, "Model Checking and Abstraction", SPPI,- 9~, January 1992.

Digital Library

Google Scholar

Cited By

View all

Logothetis GSchneider KBolsens I(2000)Abstraction from countersProceedings of the conference on Design, automation and test in Europe10.1145/343647.343828(486-493)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343828
Cabodi GCamurati PLavagno LQuer S(1997)Verification and Synthesis of Counters Based on Symbolic TechniquesProceedings of the 1997 European conference on Design and Test10.5555/787260.787661Online publication date: 17-Mar-1997
https://dl.acm.org/doi/10.5555/787260.787661
Jang JQadeer SKaufmann MPixley CYoffa EDe Micheli GRabaey J(1997)Formal verification of FIREProceedings of the 34th annual Design Automation Conference10.1145/266021.266059(173-177)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266059
Show More Cited By

Index Terms

Verification of systems containing counters
1. Hardware
  1. Hardware test
  2. Robustness
    1. Hardware reliability
2. Theory of computation
  1. Logic
  2. Models of computation

Recommendations

Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Specification and automated verification of concurrent software systems
Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICCAD '92: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

November 1992

637 pages

ISBN:0897915402

Chairmen:
Louise Trevillyan
IBM Corp., Yorktown Heights, NY
,
Michael Lightner
Univ. of Colorado, Boulder

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 08 November 1992

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
156
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)8

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Logothetis GSchneider KBolsens I(2000)Abstraction from countersProceedings of the conference on Design, automation and test in Europe10.1145/343647.343828(486-493)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343828
Cabodi GCamurati PLavagno LQuer S(1997)Verification and Synthesis of Counters Based on Symbolic TechniquesProceedings of the 1997 European conference on Design and Test10.5555/787260.787661Online publication date: 17-Mar-1997
https://dl.acm.org/doi/10.5555/787260.787661
Jang JQadeer SKaufmann MPixley CYoffa EDe Micheli GRabaey J(1997)Formal verification of FIREProceedings of the 34th annual Design Automation Conference10.1145/266021.266059(173-177)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266059
Verlind EKolks Tde Jong GLin BDe Man HLorenzetti M(1994)A time abstraction method for efficient verification of communicating systemsProceedings of the 31st annual Design Automation Conference10.1145/196244.196579(609-614)Online publication date: 6-Jun-1994
https://dl.acm.org/doi/10.1145/196244.196579
Corbett JWileden JFeather Mvan Lamsweerde A(1993)Identical tasks and counter variables in an integer programming-based approach to verificationProceedings of the 7th international workshop on Software specification and design10.5555/951807.951825(100-109)Online publication date: 6-Dec-1993
https://dl.acm.org/doi/10.5555/951807.951825

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Modeling and Verification of Reactive Systems using Rebeca

Specification and automated verification of concurrent software systems

Modeling and Verification of Reactive Systems using Rebeca