Name
Abstract | ||
|---|---|---|
This paper presents a new state of the art in the field of finite state system verification. The paradigm of this approach is to represent and to manipulate these systems in an implicit, way. The computational costs of the verification procedures using this paradigm depend on the costs of the operations performed on this implicit representation instead of the number of states and transitions of the verified systems. This paradigm allows these new verification procedures to overcome the limitations of previously availble techniques. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/BF01383965 | Formal Methods in System Design |
Keywords | Field | DocType |
Operating System,Computational Cost,State System,Implicit Representation,System Verification | Functional verification,Computer science,Theoretical computer science,Finite state,System verification | Journal |
Volume | Issue | ISSN |
6 | 2 | 0925-9856 |
Citations | PageRank | References |
9 | 0.59 | 29 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| O. Coudert | 1 | 509 | 96.32 |
| J. C. Madre | 2 | 288 | 74.87 |