scientific article

zbMath1360.68004MaRDI QIDQ2981009

Vesal Vojdani

Publication date: 8 May 2017

Full work available at URL: http://dspace.ut.ee/bitstream/handle/10062/15866/vesal_vojdani.pdf?sequence=1&isAllowed=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

data raceabstract domain for equalities between address expressionsGoblint analyzerlow-level programsregion-based heap abstractionshape domain

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Improving thread-modular abstract interpretation ⋮ Demand-driven interprocedural analysis for map-based abstract domains

Uses Software

• Boogie
• VeriCool
• RacerX
• Goblint
• LOCKSMITH
• RELAY
• DDVerify
• Coverity
• HAVOC
• Kilim

This page was built for publication: