Inductive verification of hybrid automata with strongest postcondition calculus

Mathematics

• Hybrid Automata 100%
• Safety 77%
• Calculus 53%
• Embedded Systems 53%
• Strong Coupling 48%
• Hybrid Systems 38%
• Mathematica 37%
• Experimental Results 33%
• Reasoning 32%
• Verify 27%
• Trace 27%
• Nonlinear Equations 27%
• Logic 26%
• Model 22%
• Invariant 18%
• Class 10%

Engineering & Materials Science

• Nonlinear equations 36%
• Hybrid systems 33%
• Embedded systems 31%