Inventor
PIDAN DMITRY
IL8 patents
⚠️ This page may combine multiple inventors who share the name “PIDAN DMITRY”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
7 patentsUS9588877B1Mar 7, 2017
Unit-level formal verification for vehicular software systems
IBM16 citations92
US9898395B2Feb 20, 2018
Unit-level formal verification for vehicular software systems
IBM5 citations83
US9870313B2Jan 16, 2018
Unit-level formal verification for vehicular software systems
IBM7 citations83
US9875175B2Jan 23, 2018
Unit-level formal verification for vehicular software systems
IBM2 citations72
US9389984B2Jul 12, 2016
Directing verification towards bug-prone portions
IBM6 citations71
US8856755B2Oct 7, 2014
Dominant-state-based coverage metric
IBM0 citations49
US10503633B2Dec 10, 2019
Symbolic execution of alternative branches
IBM0 citations38