7 experts in "formal verification" found:

Expert In:

• Formal verification
• Computer security
• Cybersecurity
• Hardware-based security

Expert In:

• Formal verification
• Application domains
• Application Security
• Computer architecture

Expert In:

• Formal approaches for design and verification
• Computer architecture
• Computer arithmetic
• Computer networks

Expert In:

• Formal methods
• Program Verification
• Abstract Interpretation
• Application security

Expert In:

• Formal synthesis
• Verification of discrete event systems
• Communication and information systems
• Control of discrete event systems

Expert In:

• Lightweight formal methods
• Specifically verification of Smart Contracts
• Autonomous vehicles
• Blockchain

Expert In:

• Formal methods
• Testing, Analysis, Verification, and Security of AI Systems
• Automated testing
• Computer security