TY - BOOK ED - Beyer, Dirk ED - Huisman, Marieke AB - computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification DO - 10.1007/978-3-319-89963-3 ID - OAPEN ID: 1002306 ID - OAPEN ID: OCN: 1031399710 KW - computer architecture KW - computer software selection and evaluation KW - formal logic KW - formal methods KW - model checker KW - model checking KW - multi core processors KW - program compilers KW - programming languages KW - semantics KW - software engineering KW - specifications KW - state space KW - verification L1 - https://library.oapen.org/bitstream/id/ac162d36-77f0-4500-b0b7-62fa24d0643e/1002306.pdf LA - English LK - http://library.oapen.org/handle/20.500.12657/27700 PB - Springer Nature PP - Cham PY - 2018 SN - 9783319899633 TI - Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IInull ER -