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
• Testing, Analysis, Verification, and Security of AI Systems
• Testing, Analysis, Verification, and Security of Software
• Automated testing

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:

• Software design
• Software engineering
• Specifically verification of Smart Contracts
• Autonomous vehicles

Expert In:

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

Expert In:

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