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

引用数: 25 • 2005

Model Checking Software via Abstraction of Loop Transitions

Natasha Sharygina, James C. Browne

引用数: 7 • 2003

Model checking of software control systems

Natalia Yevgenyevna Sharygina, James C. Browne, Delbert Tesar

引用数: 7 • 2002

Satisfiability checking for Mission-time LTL (MLTL)

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

引用数: 6 • 2022

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

S. Juurik, Jüri Vain

引用数: 5 • 2011

Symbolic model checking in practice

Sérgio Campos

引用数: 4 • 2003

Abstraction for model checking robot behaviour

Ryan Fraser Kirwan, Alice Miller

引用数: 3 • 2011

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Wil Thomason, Hadas Kress‐Gazit

引用数: 2 • 2021