Software Model Checking with a Combination of Explicit Values and Predicates

Link to refer to this document:

Title: Software Model Checking with a Combination of Explicit Values and Predicates
Author: Bajkai, Viktória Dorina; Hajdu, Ákos
Date of issue: 2019
Access level: Open access
Copyright owner: Budapest University of Technology and Economics
Conference title: 26th Minisymposium
Conference place: Budapest University of Technology and Economics
Conference date: January 24, 2019
Language: en
Page: 4 - 7
Version: Published
Title of the container document: Proceedings of the 26th Minisymposium
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Department: Department of Measurement and Information Systems