Concepedia

On the complexity of partial order trace model checking

Thierry Massart, Cédric Meuter, Laurent Van Begin

Information Processing Letters · 2007 · 27 citations · 2 references

On this page

Concepts

References

Concepts

ComputingComputer ScienceComputer SystemsAlgorithmsFormal MethodsTheory Of ComputationComputational ComplexityData-flow AnalysisModel CheckingModel TheoryStructural ComplexityVerificationModel-based VerificationTimed Model Checking

References

2

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Detection of global predicates: Techniques and their limitations

C. Chase, Vijay K. Garg · Distributed Computing · 1998 · 100 citations

Computing, Computer Science, Algorithms +6