Model checking for distributed application validation
US-9092561-B2 · Jul 28, 2015 · US
This page is not indexed by search engines while we improve data quality.
Song Peng patents
Song Peng holds 1 patent in our database, with recent filings and technology areas summarized below.
| Metric | Value |
|---|---|
| Total patents | 1 |
| Recent patents | 0 |
| First publication | Jul 28, 2015 |
| Latest publication | Jul 28, 2015 |
Filing trend
Year-over-year patent counts for this assignee.
Not enough yearly data to assess filing trend yet.
| Year | Patents |
|---|---|
| 2015 | 1 |
| Year | Patents |
|---|---|
| 2015 | 1 |
Recent patents
Latest publications where this party is an assignee.
Notable patents
Representative or frequently cited publications from precomputed assignee stats.
Model checking for distributed application validation
US-9092561-B2 · Jul 28, 2015 · US
Top CPC classifications
Most common classification codes in this portfolio.
| CPC | Patents |
|---|---|
| G06F11/3612 | 1 |
| G06F11/3476 | 1 |
| G06F11/3692 | 1 |
| G06F11/3608 | 1 |
| G06F11/3447 | 1 |
Technology areas
Mapped technology topics for this assignee.
| Technology | Patents |
|---|---|
| Physics | 1 |