model-checking

Articles

• Büchi automatonAutomaton which either accepts or rejects infinite inputs
• Partial order reductionTechnique used in formal verification of computer systems
• Abstract model checking