Work

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support

Year: 2008

Type: conference-paper

Source: Conference on Privacy, Security and Trust

DOI: 10.1109/pst.2008.21

Authors: Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi

Institution: Concordia University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2156299003

FWCI: 1.176

Cites: 18

Cited by: 17

Related to: 10