@INPROCEEDINGS{BBH14Input,
author = {Jiří Barnat and Petr Bauch and Vojtěch Havel},
booktitle = {Parallel, Distributed and Network-Based Processing (PDP), 2014
22nd Euromicro International Conference on},
title = {{Model Checking Parallel Programs with Inputs}},
year = {2014},
pages = {756-759},
doi = {10.1109/PDP.2014.44},
issn = {1066-6192},
month = {Feb},
keywords = {computability;parallel programming;program verification;temporal
logic;LTL model checking;explicit approach;input variables;linear
temporal logic;noncanonical representations;parallel program model
checking;parallel program verification;quantified bit-vector
formulae;quantifier-free satisfiability;state matching;state space
representation;state space searching;symbolic
approach;Concrete;Educational institutions;Input variables;Model
checking;Protocols;Scalability;Standards;bit-vector
theory;concurrency verification;ltl model checking;satisfiability
modulo theories, divine},
}