CPACHECKER.SOSY-LAB.ORG

linuxtesting.ru

Партнеры | Linux Verification Center

http://linuxtesting.ru/partners

Тесты и средства их запуска. Центр верификации ОС Linux создан при поддержке Федерального агентства по науке и инновациям (Роснаука). И активно поддерживается международным консорциумом The Linux Foundation. В дополнение к этому в 2011 году Центр получил поддержку компании Nokia. На развитие инструмента ABI Compliance Checker. Research Award "Instrumentation and Data Collection Framework for Dynamic Data Race Detection in Linux Kernel Modules" на развитие инструмента KEDR. А также применение этих инструм...

sv-comp.sosy-lab.org

SV-COMP 2015 - 4th International Competition on Software Verification

http://sv-comp.sosy-lab.org/2015/benchmarks.php

Competition on Software Verification (SV-COMP). April 16, 2015. All verification tasks are available for web browsing and for download via the following SVN repository: https:/ github.com/dbeyer/sv-benchmarks/releases/tag/svcomp15. Thanks to all participants that contributed programs, sent patches, and commented on the sets. As announced in the rules and definitions. The set Arrays contains verification tasks for which treatment of arrays is necessary:. Pthread/* false-unreach-call*.i pthread/* true-...

sv-comp.sosy-lab.org

SV-COMP 2015 - 4th International Competition on Software Verification

http://sv-comp.sosy-lab.org/2015/results/index.php

Competition on Software Verification (SV-COMP). Results of the Competition. This web page presents the results of the 2015 4th International Competition on Software Verification (SV-COMP'15). Describes the competition and the results in more detail. Are also available from the competition web site. BLAST 2.7.3. ESBMC 1.24.1. Ranking by Category (with Score-Based Quantile Plots). What you can learn from a score-based quantile plot and how to interpret it, is described in the competition report. 80 tasks, ...

coldattic.info

A Foo walks into a Bar... - blog by Pavel Shved - coldattic.info

http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/tagged/BLAST

A Foo walks into a Bar. Exploring the diverse world of programming. A Foo walks into a Bar. How About Multiplication by Zero. How Reader Mutexes Can Deadlock. Nonlinear Effects when Web Server is at 100% CPU. Light Sensor with Arduino for the Muni Sign. Misuse of Caching in Web Applications. SF Muni LED Sign at Home with Raspberry Pi. Multithreaded Consensus Versus Practice. How About Multiplication by Zero. Shown here are only posts related to BLAST. You can view all posts here. Published in the famous ...

sv-comp.sosy-lab.org

SV-COMP 2015 - 4th International Competition on Software Verification

http://sv-comp.sosy-lab.org/2015/participants.php

Competition on Software Verification (SV-COMP). April 16, 2015. Participants of the Competition. This is not a ranking, the list is in alphabetic order. The jury member is formatted in bold font face.). Cornelius Aschermann, Florian Frohn, Jera Hensel, and Jürgen Giesl. RWTH Aachen, Germany. Chao Zhang, Guang Chen, You Peng, Fei He, Ming Gu, and Jiaguang Sun. Tsinghua University, China. BLAST 2.7.3. Pavel Shved, Mikhail Mandrykin, and Vadim Mutilin. ISP RAS, Russia. New York University, USA. Salvatore La...

en.wikipedia.org

List of tools for static code analysis - Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

List of tools for static code analysis. From Wikipedia, the free encyclopedia. This article needs additional citations for verification. Please help improve this article. By adding citations to reliable sources. Unsourced material may be challenged and removed. Learn how and when to remove this template message. This is a list of tools for static code analysis. Suite  Analyzes the composition of software source code and binary files, searches for reusable code, manages open source. Continuous quality ass...

sosy-lab.org

CCVisu: A Tool for Visual Graph Clustering and GeneralForce-Directed Graph Layout

http://www.sosy-lab.org/~dbeyer/CCVisu

CCVisu: A Tool for Visual Graph Clustering. And General Force-Directed Graph Layout. Univerisity of Passau, Bavaria, Germany. General force-directed graph layout. The tool CCVisu is a light-weight tool for force-directed graph layout. Default) is good for producing layouts that fulfill certain clustering criteria. The Fruchterman Reingold energy model. Or it displays the layout on the screen. Structure analysis requires a preprocessing tool, called fact-extractor. CCVisu implements two kinds of fact-extr...

mtc.epfl.ch

MTC (Models and Theory of Computation): BLAST Project

http://mtc.epfl.ch/software-tools/blast

BLAST: Berkeley Lazy Abstraction Software Verification Tool. Software model checker for C programs. The goal of BLAST. Is to be able to check that software satisfies behavioral properties of the interfaces it uses. BLAST uses counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties. The abstraction is constructed on-the-fly. And only to the required precision. The first version of BLAST. Was developed at UC Berkeley. To learn how t...