MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Benet Devereux" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Implementing a Multi-Valued Symbolic Model Checker
by Marsha Chechik, Benet Devereux, Steve Easterbrook — 2001 — In Proceedings of TACAS’01
…Implementing a Multi-Valued Symbolic Model Checker Marsha Chechik, Benet Devereux, and Steve…
Cited by 22 (11 self) – Add To MetaCart

Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN
by Marsha Chechik, Benet Devereux, Arie Gurfinkel — 2001 — In Proceedings of the 8th SPIN Workshop on Model Checking Software, volume 2057 of LNCS
… Chechik, Benet Devereux, and Arie Gurfinkel Department of Computer Science, University of Toronto…
Cited by 16 (6 self) – Add To MetaCart

Model Exploration with Temporal Logic Query Checking
by Arie Gurfinkel, Benet Devereux, Marsha Chechik — 2002 — IN PROCEEDINGS OF SIGSOFT CONFERENCE ON FOUNDATIONS OF SOFTWARE ENGINEERING (FSE'02
…Model Exploration with Temporal Logic Query Checking Arie Gurfinkel Benet Devereux Marsha Chechik…
Cited by 15 (8 self) – Add To MetaCart

ΧChek: A Multi-Valued Model-Checker
by Marsha Chechik , Arie Gurfinkel, Benet Devereux — 2002 — IN PROCEEDINGS OF CAV’02, VOLUME 2404 OF LNCS
…Chek: A Multi-Valued Model-Checker Marsha Chechik, Arie Gurfinkel, and Benet Devereux Department…
Add To MetaCart

Model Checking with Multi-Valued Temporal Logics
by Marsha Chechik, Steve Easterbrook, Benet Devereux — 2000 — In Proceedings of the International Symposium on Multiple Valued Logics
…Model Checking with Multi-Valued Temporal Logics Marsha Chechik Steve Easterbrook Benet Devereux…
Cited by 8 (1 self) – Add To MetaCart

Multi-Valued Symbolic Model-Checking
by Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel, Arie — 2003 — ACM Transactions on Software Engineering and Methodology
…Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE…
Cited by 34 (13 self) – Add To MetaCart

Multi-Valued Symbolic Model-Checking
by Marsha Chechik Benet, Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie — 2003 — ACM Transactions on Software Engineering and Methodology
…Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE…
Add To MetaCart

Temporal Logic Query Checking: A Tool for Model Exploration
by Arie Gurfinkel, Marsha Chechik, Ieee Computer Society, Benet Devereux — 2003 — IEEE Transactions on Software Engineering
…, and Benet Devereux Abstract—Temporal logic query checking was first introduced by W. Chan in order to speed…
Cited by 5 (5 self) – Add To MetaCart

Efficient Multiple-Valued Model-Checking Using Lattice Representations
by Marsha Chechik, Benet Devereux, Steve Easterbrook, Albert Y. C. Lai, Victor Petrovykh — 2001 — In Proc. 12th Int. Conf. on Concurrency Theory (CONCUR’01), volume 2154 of LNCS, pp 451–465
…Efficient Multiple-Valued Model-Checking Using Lattice Representations Marsha Chechik, Benet…
Cited by 13 (11 self) – Add To MetaCart

Chek: A Model Checker for Multi-Valued Reasoning
by Steve Easterbrook Marsha, Steve Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-walsh — 2003
…χChek: A Model Checker for Multi-Valued Reasoning Steve Easterbrook, Marsha Chechik, Benet…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB