Concepedia

Benet Devereux

BD

6

Publications

403

Citations

6

H-Index

2001

Active since

Affiliations

University of Toronto(Current)

Benet Devereux is an author at University of Toronto specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringSoftware AnalysisLogic ProgrammingFormal Logic

Publications per year

2001–2006

6

Publications

6

Multi-valued symbolic model-checking

Marsha Chećhik, Benet Devereux, Steve Easterbrook et al. · ACM Transactions on Software Engineering and Methodology · 2003 · 187 citations

Engineering, Verification, Computer-aided Verification +19

Temporal logic query checking: a tool for model exploration

Arie Gurfinkel, Marsha Chećhik, Benet Devereux · IEEE Transactions on Software Engineering · 2003 · 66 citations

Engineering, Formal Modeling, Automated Reasoning +15

Model-checking infinite state-space systems with fine-grained abstractions using SPIN

Marsha Chećhik, Benet Devereux, Arie Gurfinkel · International workshop on Model Checking Software · 2001 · 54 citations

Engineering, Automated Reasoning, Verification +7

Data structures for symbolic multi-valued model-checking

Marsha Chećhik, Arie Gurfinkel, Benet Devereux et al. · Formal Methods in System Design · 2006 · 44 citations

Engineering, Automated Reasoning, Verification +8

Model exploration with temporal logic query checking

Arie Gurfinkel, Benet Devereux, Marsha Chećhik · 2002 · 35 citations

Engineering, Verification, Software Engineering +18

Rows per page

1–5 of 6