BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs

DOI10.1007/978-3-319-41540-6_26zbMath1411.68072OpenAlexW2489673379MaRDI QIDQ4633562

Anton Wijs

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41540-6_26

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (1)

A design of GPU-based quantitative model checking

This page was built for publication: BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs