On verification challenges at the Large Hadron Collider

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publicationModel checking software: 23rd International Symposium on Model Checking Software, SPIN 2016 Co-located with 19th European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 7 April 2016 through 8 April 2016
EditorsD. Bošnački, A. Wijs
Place of PublicationBern
PublisherSpringer
PagesXI-XIII
Volume9641
ISBN (Print)978-3-319-32581-1
Publication statusPublished - 2016
Event23rd International SPIN Symposium on Model Checking Software (SPIN 2016) - Eindhoven University of Technology, Eindhoven, Netherlands
Duration: 7 Apr 20168 Apr 2016
Conference number: 23
http://www.spin2016.info/

Publication series

NameLecture Notes in Computer Science
Volume9641
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference23rd International SPIN Symposium on Model Checking Software (SPIN 2016)
Abbreviated titleSPIN 2016
CountryNetherlands
CityEindhoven
Period7/04/168/04/16
OtherSymposium co-located with the 19th European Joint Conferences on Theory and Practice of Software (ETAPS 2016)
Internet address

Cite this

Willemse, T. A. C. (2016). On verification challenges at the Large Hadron Collider. In D. Bošnački, & A. Wijs (Eds.), Model checking software: 23rd International Symposium on Model Checking Software, SPIN 2016 Co-located with 19th European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 7 April 2016 through 8 April 2016 (Vol. 9641, pp. XI-XIII). (Lecture Notes in Computer Science; Vol. 9641). Springer.