Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Veri cation, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Verification by Abstraction - Shankar Self-citation (Veri) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Veri cation, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
Research in Constraint-Based Layout, Visualization, CAD, and.. - Hower, Graf (1995) Self-citation (Constraint) (Correct)
....are discussed in [ Zahn and Hower, 1996 ] 6 It was a laborious job to collect all these articles from so many diverse sources; the present paper probably provides such an exhaustive collection for the first time. This work has benefited from extensive overviews given in [ Leler, 1988 ] Borning et al. 1992 ] Sannella, 1994 ] Fron, 1994 ] and [ Gleicher, 1995 ] where some information presented here has been derived from. 4 2 Constraints for Graphics and Visualization As it has been shown in previous work many graphical and multimedia automation tasks can be facilitated efficiently using constraint ....
....WIP [Andr e et al. 1993] CS is employed to find all, one, or the best solution of a CSP such as in combinatorial placement and optimization problems. It may be seen as a subset of the more general technology of CBI and can also be used as part of it in a particular problem scope. According to [Borning et al. 1992, Sannella, 1994], this classification reflects the two major approaches: the perturbation model and the refinement model . Most of the mentioned CBI systems are based on the perturbation model that uses the value inference technique. Value inference constraint solvers assign constant values to some variables and ....
[Article contains additional citation context not shown here]
Alan Borning, editor. Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science. Proceedings, Springer-Verlag, Berlin/Heidelberg, May 2--4, 1994. Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, U.S.A.
Automated Verification Using Deduction, Exploration, and.. - Shankar (2001) Self-citation (Veri) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Veri cation, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
Integrated Formal Verification: Using Model Checking With.. - Rushby (1999) (4 citations) Self-citation (Verification) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verification, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag. 10
A bibliographical survey of constraint-based approaches to CAD, .. - Hower, Graf (1996) (3 citations) Self-citation (Constraint) (Correct)
....are discussed in [Zahn and Hower, 1996 ] 6 It was a laborious job to collect all these articles from so many diverse sources; the present paper probably provides such an exhaustive collection for the first time. This work has benefited from extensive overviews given in [Leler, 1988 ] Borning et al. 1992 ] Sannella, 1994] , Fron, 1994] and [ Gleicher, 1995 ] where some information presented here has been derived from. 2 Constraints for Graphics and Visualization As it has been shown in previous work many graphical and multimedia automation tasks can be facilitated efficiently using constraint processing ....
....[ Andr e et al. 1993 ] CS is employed to find all, one, or the best solution of a CSP such as in combinatorial placement and optimization problems. It may be seen as a subset of the more general technology of CBI and can also be used as part of it in a particular problem scope. According to [ Borning et al. 1992, Sannella, 1994 ] this classification reflects the two major approaches: the perturbation model and the refinement model . Most of the mentioned CBI systems are based on the perturbation model that uses the value inference technique. Value inference constraint solvers assign constant values to some variables ....
[Article contains additional citation context not shown here]
Alan Borning, editor. Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science. Proceedings, Springer-Verlag, Berlin/Heidelberg, May 2--4, 1994. Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, U.S.A.
Little Engines of Proof - Shankar (2002) (5 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verification, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
An Algebraic Framework for Modelling and Verifying Microprocessors.. - Fox (2001) (1 citation) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer Aided Verification: 10th International Conference, CAV'98 Proceedings, volume 1427 of Lecture Notes in Computer Science. Springer, 1998.
Using Decision Procedures With a Higher-Order Logic - Shankar (2001) (1 citation) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verication, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
Combining Theorem Proving and Model Checking through Symbolic.. - Shankar (2000) (13 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verication, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
Symbolic Analysis of Transition Systems - Shankar (2000) (3 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verication, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
PVS: An Experience Report - Owre, Rushby, Shankar, al. (1998) (8 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verication, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, Canada, June 1998. Springer-Verlag.
Verifying Advanced Microarchitectures that Support.. - Hosabettu.. (2000) (4 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verication, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, BC, Canada, June/July 1998. Springer-Verlag.
A Proof of Correctness of a Processor Implementing.. - Hosabettu.. (1999) (4 citations) (Correct)
No context found.
Alan J. Hu and Moshe Y. Vardi, editors. Computer-Aided Verification, CAV '98, volume 1427 of Lecture Notes in Computer Science, Vancouver, BC, Canada, June/July 1998. Springer-Verlag.
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