4 research outputs found
Experience with the Larch Prover
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textStructuring and automating hardware proofs in a higher-order theorem-proving environment
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
No full textAlgebraic models of microprocessors architecture and organisation
- Author
- A. Cohn
- A. Geser
- B. Bose
- B. Graham
- B. Graham
- C.G. Bell
- D. May
- F. Anceau
- G. Birtwistle
- G.J. Milne
- H. Ehrig
- J. Chazarain
- J. Joyce
- J. V. Tucker
- J.A. Goguen
- J.S. Florentin
- J.V. Tucker
- J.V. Tucker
- K. Hanna
- K. Meinke
- M. Barbacci
- M. Gordon
- M. Wirsing
- N. A. Harman
- N.A. Harman
- N.A. Harman
- P. Landin
- P. Windley
- P.A. Subrahmanyam
- R.S. Boyer
- S.D. Johnson
- T. Melham
- W. Hunt
- W. Hunt
- W. Roscoe
- W. Stallings
- W. Wechler
- W.A. Hunt
- W.J. Cullyer
- W.J. Cullyer
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
No full textFormal 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
No full text
