Li-on Raviv

Publications by Year

Research Areas

Formal Methods in Verification, Synthetic Organic Chemistry Methods, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques

Most-Cited Works

• → Algorithmic verification of linear temporal logic specifications(1998)131 cited
• → Model Checking with Strong Fairness(2006)32 cited