scientific article; zbMATH DE number 1392310

MaRDI QIDQ4936149zbMATH OpenFDO

Authors Orna Kupferman, Moshe Y. Vardi

Publication date 25 January 2000

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(11)

• Model checking properties on reduced trace systems
• Synthesis of succinct systems
• A complete characterization of deterministic regular liveness properties
• Compositional SCC analysis for language emptiness
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
• Finding and fixing faults
• Stochastic games with lexicographic objectives
• On the power of automata minimization in reactive synthesis
• Automata-theoretic characterisations of branching-time temporal logics
• Experiments with deterministic -automata for formulas of linear temporal logic

Describes a project that uses

Uses Software

• SPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4936149)