Work

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Year: 2011

Type: article

Abstract: The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.72.1

Authors: Luboš Brim, Jiří Barnat

Institution: Masaryk University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2146579902

FWCI: 0.298

Cites: 91

Cited by: 2

Related to: 10