Keyphrases
First-order Temporal Logic
66%
Isabelle
50%
Hybrid Programs
44%
Dual Operator
33%
Formetric
33%
Refinement Calculus
33%
Hoare Logic
33%
Modal Kleene Algebras
33%
Simpler Syntax
33%
Verification of Hybrid Systems
33%
Free Variables
33%
Runtime Monitor
33%
Proof Automation
16%
Inference Rules
16%
Discrete-continuous
16%
Kleene Algebra with Tests
16%
Verification Tool
16%
Domain Rules
16%
Namespace
16%
Invariant Set
16%
Table Representations
16%
World Model
16%
Local Perspectives
16%
Algebraic Model
16%
Phase Space Dynamics
16%
Building Verification
16%
Runtime Verification
16%
Proof Assistants
16%
Semantic Validation
16%
Modeling Language
16%
Logic Formulas
16%
Hybrid System
16%
Clean Separation
16%
Combinators
16%
Local Inference
16%
Verification Framework
16%
Differential Dynamic Logic
11%
Timestamp Data
11%
Proof Tree
11%
Deductive Verification
11%
Engineering Workflow
11%
Computer Science
Temporal Logic
100%
Free Variable
77%
Formalization
66%
Monitoring Tool
33%
Cyber Physical Systems
33%
runtime verification
33%
Semantic Verification
33%
Inference Rule
33%
Name Space
33%
modeling language
33%
Temporal Evolution
33%
Specification Language
27%
Unique Solution
16%
Satisfying Assignment
11%
