Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of Synchronous Sequential Machines Based on Symbolic Execution.

O. Coudert, C. Berthet, and J. Madre. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 365-373. Springer, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Christian Hermann University of Stuttgart

Other publications of authors with the same name

Synthesis of VHDL arrays on RAM cells.C. Berthet, J. Rampon, and L. Sponga. EURO-DAC, page 726-731. IEEE Computer Society Press, (1992)Formal boolean manipulations for the verification of sequential machines.O. Coudert, C. Berthet, and J. Madre. EURO-DAC, page 57-61. IEEE Computer Society, (1990)Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry.C. Berthet. DAC, page 375-378. ACM, (2002)Functional Verification Methodology of Chameleon Processor.F. Casaubieilh, A. McIsaac, M. Benjamin, M. Bartley, F. Pogodalla, F. Rocheteau, M. Belhadj, J. Eggleton, G. Mas, G. Barrett and 1 other author(s). DAC, page 421-426. ACM Press, (1996)An Algebraic Model for Asynchronous Circuits Verification.C. Berthet, and E. Cerny. IEEE Trans. Computers, 37 (7): 835-847 (1988)Peak power estimation using activity measured on emulator.C. Berthet, P. Georgelin, J. Ntyame, and M. Raffin. ICECS, page 440-443. IEEE, (2012)Verification of Synchronous Sequential Machines Based on Symbolic Execution.O. Coudert, C. Berthet, and J. Madre. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 365-373. Springer, (1989)Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation.C. Berthet. CoRR, (2016)Contributions to the Generalized Coupon Collector and LRU Problems.C. Berthet. CoRR, (2017)Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.O. Coudert, J. Madre, and C. Berthet. CAV, volume 531 of Lecture Notes in Computer Science, page 23-32. Springer, (1990)