Abstraction model checking

State/Event Software Verification for Branching-Time Specifications

Sagar Chaki, Edmund M. Clarke, Orna Grümberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith

Citations: 25 • 2005

Model Checking Software via Abstraction of Loop Transitions

Natasha Sharygina, James C. Browne

Citations: 7 • 2003

Model checking of software control systems

Natalia Yevgenyevna Sharygina, James C. Browne, Delbert Tesar

Citations: 7 • 2002

Satisfiability checking for Mission-time LTL (MLTL)

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

Citations: 6 • 2022

Model checking of emergent behaviour properties of robot swarms; pp. 48–54

S. Juurik, Jüri Vain

Citations: 5 • 2011

Symbolic model checking in practice

Sérgio Campos

Citations: 4 • 2003

Abstraction for model checking robot behaviour

Ryan Fraser Kirwan, Alice Miller

Citations: 3 • 2011

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Wil Thomason, Hadas Kress‐Gazit

Citations: 2 • 2021