Work

Concurrent Bug Finding Based on Bounded Model Checking

Year: 2020

Type: article

Source: International Journal of Software Engineering and Knowledge Engineering

DOI: 10.1142/s0218194020500242

Author: Milena Vujošević Janičić

Institution: University of Belgrade

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3037378364

FWCI:

Cites: 58

Cited by: 2

Related to: 10