Concepedia

Chiodo

CH

Statistics

Publications

1

Citations

11

H-Index

1

Active since

1992

Affiliations

University of California, Berkeley(Current)

Chiodo is an author at University of California, Berkeley specializing in formal methods, model checking, and finite state machine modeling.

Publications per year

1992–1992

1

Publications

1

Automatic compositional minimization in CTL model checking

Chiodo, Shiple, Sangiovanni-Vincentelli et al. · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 11 citations

Computing, Computer Engineering, Computer Science +15

1–1 of 1