SYMBOLIC MODEL CHECKING OF CONCURRENT PROGRAMS USING PARTIAL ORDERS AND ON-THE-FLY TRANSACTIONS

摘要

A set of techniques for analyzing concurrent programs that combines the power of symbolic model checking to explore large state spaces, and partial order and transaction- based reduction techniques to manage the size of explored state space.