An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Zhé Hóu
◽
David Sanan
◽
Alwen Tiu
◽
Yang Liu
◽
Koh Chuen Hoa
◽
...
Ahmed A. Ayoub
◽
Mark D. Aagaard
Chris Bradfield
◽
Cynthia Sturton
Roel Jordans
◽
Rosilde Corvino
◽
Lech Jozwiak
◽
Henk Corporaal
1979 ◽
Vol 12
(4)
◽
pp. 35-47
◽
V. Ramakrishna
◽
R. Kumar
◽
A. Basu
Nitin Bhatia
◽
Meenakshi D'Souza
◽
Sujit Kumar Chakrabarti
Holger Brunst
◽
Andreas Knüpfer
◽
Valentina Salapura
◽
Joseph A. Fisher
◽
Paolo Faraboschi
◽
...
Sandeep Dasgupta
◽
Daejun Park
◽
Theodoros Kasampalis
◽
Vikram S. Adve
◽
Grigore Roşu