Verification of systems containing counters

Authors:
Enrico Macii;Bernard Plessier;Fabio Somenzi
Affiliations:
University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO and Politecnico di Torino, Dip. di Automatica e Infomatica, Torino, Italy 10129;University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO;University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO
Venue:
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Year:
1992

Analysis of discrete event coordination

REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Sequential circuit verification using symbolic model checking

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Model checking and abstraction

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to VLSI Systems

Introduction to VLSI Systems
Design Verfication and Reachability Analysis Using Algebraic Manipulation

ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

A time abstraction method for efficient verification of communicating systems

DAC '94 Proceedings of the 31st annual Design Automation Conference
Formal verification of FIRE: a case study

DAC '97 Proceedings of the 34th annual Design Automation Conference
Abstraction from counters: an application on real-time systems

DATE '00 Proceedings of the conference on Design, automation and test in Europe
Verification and Synthesis of Counters Based on Symbolic Techniques

EDTC '97 Proceedings of the 1997 European conference on Design and Test
Identical tasks and counter variables in an integer programming-based approach to verification

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design

Hi-index	0.00