Bertrand Meyer

Follow

Person

Zurich, CH

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for generating failing tests from failed proofs
- Patent number 12,287,726
- Issue date Apr 29, 2025
- Constructor Education and Research Genossenschaft
- Huang Li
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND METHODS FOR GENERATING FAILING TESTS FOR DEBUGGING A PR...
- Publication number 20250199943
- Publication date Jun 19, 2025
- Constructor Education and Research Genossenschaft
- Huang LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEEDING CONTRADICTION AS A FAST METHOD FOR GENERATING FULL-COVERAGE...
- Publication number 20250077392
- Publication date Mar 6, 2025
- Rolos AG
- Manuel Oriol
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating failing tests from failed proofs
- Publication number 20240045791
- Publication date Feb 8, 2024
- Rolos AG
- Huang Li
- G06 - COMPUTING CALCULATING COUNTING