10 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:

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

Expert In:

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

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