R. Goering. Model checking expands verification 's scope. Electronic Engineering Today, February 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Unusual Effectiveness of Logic in Computer Science - Halpern, Harper.. (2001) (1 citation) (Correct)
....reduced to automata theoretic problems, namely intersecting and complementing automata and testing emptiness of automata. Over the last few years, automated formal verification tools, such as model checkers, have shown their ability to provide a thorough analysis of reasonably complex designs [Goe97] Companies such as AT T, Cadence, Fujitsu, HP, IBM, Intel, Motorola, NEC, SGI, Siemens, and Sun are using model checkers increasingly on their own designs to reduce time to market and ensure product quality. 7 Concluding Remarks It should be made clear that we are not the first ones to single ....
R. Goering. Model checking expands verification's scope. Electronic Engineering Today, February 1997.
Branching vs. Linear Time: Final Showdown - Vardi (2001) (1 citation) (Correct)
....tools have enjoyed a substantial and growing use over the last few years, showing ability to discover subtle flaws that result from extremely improbable events. While until recently these tools were viewed as of academic interest only, they are now routinely used in industrial applications [6,42]. Companies such as AT T, Cadence, Fujitsu, HP, IBM, Intel, Motorola, NEC, SGI, Siemens, and Sun are using model checkers increasingly on their own designs to ensure outstanding product quality. Three model checking tools are widely used in the semiconductor industry: SMV, a tool from Carnegie ....
R. Goering. Model checking expands verification's scope. Electronic Engineering Today, February 1997.
On the Unusual Effectiveness of Logic in Computer Science - Halpern, Harper.. (2000) (1 citation) (Correct)
....reduced to automata theoretic problems, namely intersecting and complementing automata and testing emptiness of automata. Over the last few years, automated formal verification tools, such as model checkers, have shown their ability to provide thorough analysis of reasonably complex designs [Goe97] Companies such as AT T, Cadence, Fujitsu, HP, IBM, Intel, Motorola, NEC, SGI, Siemens, and Sun are using model checkers increasingly on their own designs to to reduce time to market and to ensure product quality. 7 Concluding Remarks It should be made clear that we are not the first ones to ....
R. Goering. Model checking expands verification's scope. Electronic Engineering Today, February 1997.
Linear vs. Branching Time: A Complexity-Theoretic Perspective - Vardi (1998) (2 citations) (Correct)
....is known that LTL and CTL are expressively incomparable [Lam80] Thus, it seems that the debate cannot be settled by reference to theoretical arguments solely. Rather, it is time that pragmatic arguments be brought to bear on this issue. Given the growing use of model checking tools in industry [Goe97, Kur97] the debate might end up being decided by the marketplace rather than by the research community. ....
R. Goering. Model checking expands verification 's scope. Electronic Engineering Today, February 1997.
Automated Verification: Graphs, Logic, and Automata - Moshe Vardi Rice (Correct)
No context found.
R. Goering. Model checking expands verification 's scope. Electronic Engineering Today, February 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC