Searching for authors named "Alon Flaisher" – sorted by Relevance.
-
Enhanced vacuity detection in linear temporal logic
- Enhanced Vacuity Detection in Linear Temporal Logic Alon Flaisher Contents 1 Introduction 4 1
- Cited by 1 (0 self) – Add To MetaCart
-
Regular vacuity
- Regular Vacuity Doron Bustan 2 , Alon Flaisher 1 , Orna Grumberg 1 , Orna Kupferman 3⋆ , and Moshe
- Cited by 13 (10 self) – Add To MetaCart
-
Regular Vacuity
- Regular Vacuity Doron Bustan 2 , Alon Flaisher 1 , Orna Grumberg 1 , Orna Kupferman 3⋆ , and Moshe
- Add To MetaCart
-
Enhanced Vacuity Detection in Linear Temporal Logic
- Enhanced Vacuity Detection in Linear Temporal Logic Roy Armoni 1 , Limor Fix 1 , Alon Flaisher
- Cited by 16 (4 self) – Add To MetaCart
-
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
- , Limor Fix 1 , Alon Flaisher 1 , Rob Gerth 2 , Boris Ginsburg, Tomer Kanza 1 , Avner Landver 1
- Cited by 52 (17 self) – Add To MetaCart

