Parallel Processing Of Data
US-2024338235-A1 · Oct 10, 2024 · US
System and method for examining concurrent system states
US8935144B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-8935144-B2 |
| Application number | US-201213458188-A |
| Country | US |
| Kind code | B2 |
| Filing date | Apr 27, 2012 |
| Priority date | Apr 28, 2011 |
| Publication date | Jan 13, 2015 |
| Grant date | Jan 13, 2015 |
How to read this patent
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
- Title
What the patent document calls the invention.
- Abstract
A short plain-language summary of the technical disclosure.
- Assignees and inventors
Who owns or filed the patent and who is credited as inventor.
- Key dates
Filing, priority, publication, and grant dates set the timeline.
- First independent claim
The legal scope of protection — read this for what is actually claimed.
- CPC / IPC classifications
Technology tags used to group this patent with similar filings.
- Citations and related patents
Prior art links and similar publications in this corpus.
Abstract
Official abstract text for this publication.
A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy.
First claim
Opening claim text (preview).
What is claimed is: 1. A computer-implemented process for examining concurrent system state space, the computer-implemented process comprising: modeling a system having concurrent events to create a modeled system; creating a minimal chain decomposition of the modeled system to identify a set of chains; extending all chains in the set of chains, wherein all the chains include a plurality of chains and wherein extending all chains in the set of chains comprises: creating a pat…
Assignees
Inventors
Classifications
Physics · mapped topic
- G06F8/314Primary
Physics · mapped topic
Physics · mapped topic
Patent family
Related publications grouped by family.
External sources
Next steps
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Frequently asked questions
Answers are generated from the same data shown on this page.
- What does patent US8935144B2 cover?
- A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a m…
- Who is the assignee on this patent?
- Benjamin Kamara Akili, Jourdan Guy-Vincent, Onut Iosif Viorel, and 2 more
- What technology area does this patent fall under?
- Primary CPC classification G06F8/314. Mapped technology areas include Physics.
- When was this patent published?
- Publication date Tue Jan 13 2015 00:00:00 GMT+0000 (Coordinated Universal Time) (B2). Legal status and post-grant events are not shown on this page.
- What related patents are in patentsdb?
- We list 8 related publications on this page (citations in our corpus or others sharing the same primary CPC).