AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING

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

Research output: Patent

Fingerprint

Dive into the research topics of 'AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING'. Together they form a unique fingerprint.

Engineering & Materials Science