5 research outputs found
Applications of Symbolic Execution to Program Testing
- Author
- Publication venue
- 'Institute of Electrical and Electronics Engineers (IEEE)'
- Publication date
- Field of study
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2014
- Field of study
Automated exploration of the design space for register transfer (RT) systems
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Testing and Debugging Custom Integrated Circuits
- Author
- AGRAWAL V. D.
- BARBACCI M.
- BERGLUND N C
- BONEY J.
- BREUER M. A.
- CASE G. R.
- CHAWLA B. R.
- DARRINGER J. A.
- DOWELL R.
- Edward H. Frank
- EICHELBERGER E G
- FOSTER M. J.
- FRANK E.
- FRANK E. H
- FROHWERK R A
- GEHRINGER E.
- GOSLING J.A.
- GRASON J.
- HAKEN D.
- HAYES J. P.
- HENNESSY J.L.
- JOHANNSEN D.
- KNUTH D.E.
- KOENEMANN B.
- LAMPSON B
- LATTIN
- MCFARLAND M. C.
- MEAD C.
- MUEHLDORF E. I.
- MYERS G.J.
- NEWTON A. R.
- PARKER A.
- PEUTO B.
- POMERANZ J.
- PREAS B T
- Robert F. Sproull
- ROTH J. P.
- SEITZ C.
- STRI ER E
- STRITTER E. P.
- SUTHERLAND I E
- VANCLEEMPUT W.M.
- WILLIAMS M. J.
- WILLIAMS T M
- WULF W. A.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Formal hardware verification methods: A survey
- Author
- A. Bronstein
- A. Bronstein
- A. Cohn
- A. Cohn
- A. Pneuli
- A. Pnueli
- A. Pnueli
- A. Pnueli
- A.C. Shaw
- A.J. Camilleri
- A.J. Martin
- A.P. Sistla
- A.P. Sistla
- A.P. Sistla
- B. Gopinath
- B. Mishra
- C.A.R. Hoare
- C.A.R. Hoare
- C.A.R. Hoare
- D. Borrione
- D. Borrione
- D. Harel
- D. Kozen
- D. Lehmann
- D. Niwinski
- D. Park
- D. Park
- D. Verkest
- D. Verkest
- D. Weise
- D.L. Beatty
- D.L. Dill
- D.L. Dill
- D.L. Dill
- E. Harel
- E. Mendelson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.F. Moore
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- F. Jahanian
- F. Jahanian
- F. Maruyama
- F.K. Hanna
- G. Hunter
- G. Winskel
- G.E. Hughes
- G.H. MacEwen
- G.V. Bochmann
- H. Busch
- H. Eveking
- H. Lewis
- H. Ochi
- H.G. Barrow
- I. Dhingra
- I. Gertner
- J. Burch
- J. Burch
- J. Halpern
- J. Ostroff
- J.A. Darringer
- J.C. Madre
- J.E. Hopcroft
- J.J. Joyce
- J.P. Billon
- J.P. Billon
- J.P. Queille
- J.P. Queille
- J.R. Burch
- J.R. Burch
- J.R. Burch
- J.R. Burch
- J.R. Büchi
- J.S. Moore
- K. Apt
- L. Lamport
- L. Lamport
- M. Ben-Ari
- M. Fujita
- M. Fujita
- M. Fujita
- M. Rem
- M. Sheeran
- M. Vardi
- M. Vardi
- M. Yoeli
- M.C. Browne
- M.C. Browne
- M.C. Browne
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.R. Barbacci
- M.R. Garey
- N. Francez
- N. Rescher
- O. Coudert
- O. Coudert
- O. Coudert
- O. Coudert
- O. Grumberg
- O. Lichtenstein
- P. Camurati
- P. Halmos
- P. Loewenstein
- P. Loewenstein
- P. Wolper
- P. Wolper
- R. Alur
- R. Alur
- R. Alur
- R. Milner
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Shostak
- R.P. Kurshan
- R.P. Kurshan
- R.P. Kurshan
- R.S. Boyer
- R.S. Boyer
- R.W. Floyd
- S. Aggarwal
- S. Bose
- S. Bose
- S. Owicki
- S.M. German
- T.-A. Chu
- T.F. Melham
- T.F. Melham
- W. Luk
- W. Thomas
- W.A. Hunt Jr.
- W.A. Hunt Jr.
- W.D. Young
- W.F. Clocksin
- W.J. Cullyer
- W.R. Bevier
- W.R. Bevier
- W.S. Hatcher
- Y. Malachi
- Z. Chaochen
- Z. Har'El
- Z. Kohavi
- Z. Manna
- Z. Manna
- Z. Manna
- Z. Manna
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study