@Inproceedings{EPTCS268.0.2, author = {Sagonas, Kostis}, year = {2018}, title = {Progress on Algorithms for Stateless Model Checking --- Abstract of Invited Presentation}, editor = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin}, booktitle = {{\rm Proceedings Third Workshop on} Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation, {\rm Thessaloniki, Greece, 20th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {268}, publisher = {Open Publishing Association}, pages = {6-6}, doi = {10.4204/EPTCS.268.0.2}, }