1. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Certifiable software applications 3 : downward cycle /: downward cycle. (2018) Authors: Boulanger, Jean-Louis Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018]) Editors: Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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.: 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 II (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗