S. Andersson. NP Module, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (2 citations) (Correct)
....Boolean formulas, by the application of smart algorithms for computations in classical logic. For information on innovative constructions that have been implemented in this theorem prover, see [6, 7] In order to apply the Stalmarck theorem prover, we have used the Prolog interface NP Module [1]. We have also tried to check the safety requirements in an improved BDD based theorem prover [3] but requirements which involve time, such as if a signal shows red for one second , turned out to be too hard to handle for this tool. Surprisingly, the small set of assignments for station ....
S. Andersson. NP Module, 1994.
Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (2 citations) (Correct)
....Boolean formulas, by the application of smart algorithms for computations in classical logic. For information on innovative constructions that have been implemented in this theorem prover, see [6, 7] In order to apply the Stalmarck theorem prover, we have used the Prolog interface NP Module [1]. We have also tried to check the safety requirements in an improved BDD based theorem prover [3] but requirements which involve time, such as if a signal shows red for one second , turned out to be too hard to handle for this tool. Surprisingly, the small set of assignments for station ....
S. Andersson. NP Module, 1994.
Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (2 citations) (Correct)
....Boolean formulas, by the application of smart algorithms for computations in classical logic. For information on innovative constructions that have been implemented in this theorem prover, see [6, 7] In order to apply the Stalmarck theorem prover, we have used the Prolog interface NP Module [1]. We have also tried to check the safety requirements in an improved BDD based theorem prover [3] but requirements which involve time, such as if a signal shows red for one second , turned out to be too hard to handle for this tool. Surprisingly, the small set of assignments for station ....
S. Andersson. NP Module, 1994.
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