DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS

Hana Chockler (Inventor), Oded Margalit (Inventor), Dmitry Pidan (Inventor), Sitvanit Ruah (Inventor)

Research output: Patent

Fingerprint

Dive into the research topics of 'DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS'. Together they form a unique fingerprint.

Engineering

Keyphrases

Earth and Planetary Sciences