You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Mendeley readers
Chapter title |
Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR}$ Core TM i7 Processor Execution Engine Validation
|
---|---|
Chapter number | 32 |
Book title |
Computer Aided Verification
|
Published by |
Springer, Berlin, Heidelberg, June 2009
|
DOI | 10.1007/978-3-642-02658-4_32 |
Book ISBNs |
978-3-64-202657-7, 978-3-64-202658-4
|
Authors |
Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik, Kaivola, Roope, Ghughal, Rajnish, Narasimhan, Naren, Telfer, Amber, Whittemore, Jesse, Pandav, Sudhindra, Slobodová, Anna, Taylor, Christopher, Frolov, Vladimir, Reeber, Erik, Naik, Armaghan |
Mendeley readers
The data shown below were compiled from readership statistics for 52 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Portugal | 1 | 2% |
Brazil | 1 | 2% |
Sweden | 1 | 2% |
United Kingdom | 1 | 2% |
Greece | 1 | 2% |
United States | 1 | 2% |
Unknown | 46 | 88% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 15 | 29% |
Researcher | 11 | 21% |
Student > Master | 8 | 15% |
Student > Bachelor | 3 | 6% |
Other | 3 | 6% |
Other | 9 | 17% |
Unknown | 3 | 6% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 35 | 67% |
Engineering | 10 | 19% |
Agricultural and Biological Sciences | 1 | 2% |
Medicine and Dentistry | 1 | 2% |
Business, Management and Accounting | 1 | 2% |
Other | 0 | 0% |
Unknown | 4 | 8% |