10 experts in "verification of software" found:

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:

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

Expert In:

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

Expert In:

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

Expert In:

• Hardware and software co-design methodologies
• Models of computation
• System-level design and verification methodologies
• Communications and access

Expert In:

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

Expert In:

• Program verification
• Software engineering
• Compilers
• Cybersecurity

Expert In:

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

Expert In:

• Software design
• Software engineering
• Verification
• Cybersecurity