12 experts in "software verification" found:

Expert In:

• Privacy and Software
• Software verification
• Compilers
• Computer security

Expert In:

• Verification of hardware systems
• Verification of software
• Compilers
• Logic decision procedures

Expert In:

• Software engineering
• Software quality assurance
• Verification and validation of software systems
• Artificial intelligence

Expert In:

• Testing, Analysis, Verification, and Security of AI Systems
• Testing, Analysis, Verification, and Security of Software
• NeuroSymbolic AI
• Proof Complexity and Mathematical Logic

Expert In:

• Numerical methods with autmomatic verification results
• Numerical software
• Parallel computing
• Scientific computing

Expert In:

• Program verification
• Software engineering
• Verifiable software specifications
• Compilers

Expert In:

• Program Verification
• Software Model Checking
• Abstract Interpretation
• Application security

Expert In:

• Software development
• Verification of discrete event systems
• Communication and information systems
• Control of discrete event systems

Expert In:

• Computer aided verification
• Software engineering
• Computer aided inspection
• Real-time systems

Expert In:

• Formal verification
• Software engineering
• Verification of digital hardware system
• Application domains

Expert In:

• Hardware and software co-design methodologies
• System-level design and verification methodologies
• Communications and access
• Compilers

Expert In:

• Software design
• Software engineering
• Verification
• Cybersecurity