Assignee
MARTENSSON JOHAN
SE·3 granted patents·16 citations·filing 2006–2008
Top patents by PatentIndex Score
3 records- 0175US8103999B1Debugging of counterexamples in formal verificationMARTENSSON JOHAN·Filed 2008·Granted Jan 24, 2012·9 cites·25 claims
- 0267US8225249B1Static formal verification of a circuit design using properties defined with local variablesMARTENSSON JOHAN·Filed 2008·Granted Jul 17, 2012·5 cites·28 claims
- 0361US8807296B2Rail vehicle brake unitMARTENSSON JOHAN·Filed 2006·Granted Aug 19, 2014·2 cites·13 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →