Concepedia

M. Vardi

MV

Statistics

Publications

2

Citations

511

H-Index

2

Active since

1992

Affiliations

IBM Research - Almaden(Current)

M. Vardi is an author at IBM Research - Almaden specializing in formal methods, computer science, and automated reasoning.

Top concepts

Publications per year

1992–2002

2

Publications

2

Memory-efficient algorithms for the verification of temporal properties

C. Courcoubetis, M. Vardi, Pierre Wolper et al. · Formal Methods in System Design · 1992 · 497 citations · Full text

, , +8

On the power of bounded concurrency. III. Reasoning about programs

David Harel, Roni Rosner, M. Vardi · 2002 · 14 citations

, , +15

1–2 of 2