conftrace_

smt-based model checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

parameterized multi-agent system (1) infinite-state model checking (1) array-based system (1) satisfiability modulo theories (1) parameterized system (1) multi-agent system (1) model checking (1) safety verification (1) formal verification (1)

Papers

SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021