Optimizing Saturation Based Model Checking

View/Open

Proceedings of the 18th PhD Mini-Symposium - 025 (338.1Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/15451

Collections

BME MIT PhD Minisymposium, 2011, 18th [25]

Title: Optimizing Saturation Based Model Checking
Author: Vörös, András; Bartha, Tamás
Date of issue: 2011
Access level: Open access
Conference title: 18th PhD Mini-Symposium
Conference place: Budapest
Conference date: 2011.01.31
Language: en
Page: 96 - 99
Version: Published
Title of the container document: Proceedings of the 18th PhD Mini-Symposium
ISBN, e-ISBN: 978-963-421-601-8
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Faculty: Faculty of Electrical Engineering and Informatics
Department: Department of Measurement and Information Systems