Alon Flaisher

According to our database, Alon Flaisher authored at least 4 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Case study: Integrating FV and DV in the Verification of the Intel Core^TM 2 Duo Microprocessor.

Alon Flaisher, Alon Gluska, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

Regular Vacuity.

Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Enhanced Vacuity Detection in Linear Temporal Logic.

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002