Keyphrases
Deductive Verification
100%
Program Verifiers
100%
Verification Method
50%
Specification Synthesis
50%
Securities Offerings
50%
Undergraduate Degree
50%
Programming Patterns
50%
Critical Software
50%
Software Safety
50%
Value Function
50%
User Annotation
50%
Educational Impact
50%
Logical Variable
50%
Digital Medical
50%
Language Features
50%
Software Security
25%
Security-informed Safety
25%
Security Level
25%
Satisfiability Modulo Theories
25%
Project Impact
25%
Prototype Implementation
25%
First-order
25%
Critical Security
25%
Medical Services
25%
Academic Research
25%
Programming Languages
25%
Medical Devices
25%
Impact Review
25%
Software Quality
25%
Curriculum Development
25%
Graduate Level
25%
Self-driving Cars
25%
Automatic Verification
25%
Quality Safety
25%
Safety-critical
25%
Verification Tool
25%
Formal Methods
25%
Review Criteria
25%
Computer Science
Annotation
50%
Critical Software
50%
Digitalization
50%
Programming Language Feature
50%
Programming Pattern
50%
Function Value
50%
Underrepresented Group
25%
Theoretical Basis
25%
Open Source
25%
Software Quality
25%