Integrating temporal logics and model checking algorithms

Mathematics

• Temporal Logic 100%
• Model Checking 94%
• Model 27%
• Logic 24%
• Algebra 23%
• Prototyping 17%
• Testbed 15%
• Compiler 13%
• Parallelization 12%
• Experimentation 12%
• Vertex of a graph 11%
• Quantify 10%
• Proposition 10%
• Target 8%
• Path 7%
• Imply 6%
• Demonstrate 6%
• Framework 5%
• Operator 4%
• Graph in graph theory 4%

Engineering & Materials Science

• Temporal logic 98%
• Model checking 88%
• Algebra 43%
• Embeddings (Algorithms) 12%
• Labels 8%
• Set theory 6%