Concepedia

Christian Berthet

CB

4

Publications

93

Citations

4

H-Index

1988

Active since

Affiliations

Université de Montréal(Current)

Christian Berthet is an author at Université de Montréal specializing in computer science, engineering, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSystems EngineeringComputer EngineeringProgram AnalysisAsynchronous Systems

Publications per year

1988–2002

4

Publications

4

New ideas on symbolic manipulations of finite state machines

Christian Berthet, Olivier Coudert, J.C. Madre · 2002 · 51 citations

Engineering, Verification, Computer-aided Verification +17

An algebraic model for asynchronous circuits verification

Christian Berthet, E. Cerny · IEEE Transactions on Computers · 1988 · 16 citations

Circuit Complexity, Engineering, Hardware Verification Language +20

Formal Boolean manipulations for the verification of sequential machines

Olivier Coudert, Christian Berthet, Jean Christophe Madre · European Design Automation Conference · 1990 · 14 citations

Symbolic Manipulation, Engineering, Sequential Machines Equivalent +15

Formal Boolean manipulations for the verification of sequential machines

Olivier Coudert, Christian Berthet, J.C. Madre · Proceedings of the European Design Automation Conference, 1990., EDAC. · 2002 · 12 citations

Engineering, Sequential Machines Equivalent, Automated Reasoning +13

Rows per page

1–4 of 4