etaps.org
ETAPS 2012
http://www.etaps.org/2012
Tuesday, August 23, 2016. ETAPS 2012: 24 March - 1 April 2012, Tallinn, Estonia. 22 Mar.] Registration. At the workshops venue (TUT Building X, 4th floor), registration will be open from 8.30 on 24 March, 8.00 on 25 March, from 8.30 on 31 March, 1 April. At the main conferences venue (Swissotel, 6th floor), registration will open from 8.00 on 26-28 March, from 8.30 on 29-30 March. 22 Mar.] Here is some arrival info. In pdf (incl two maps), which you may wish to print out to take with you. 14 Mar.] Th...
linuxtesting.ru
Новости | Linux Verification Center
http://linuxtesting.ru/news
Тесты и средства их запуска. 16082016: Анализ потенциальных состояний гонок на ядре ОС Linux. Опубликовано admin в Втр, 16/08/2016 - 07:17. Закончил проект "Анализ потенциальных состояний гонок на ядре ОС Linux", выполненный в рамках Google Summer of Code 2016 под эгидой The Linux Foundation. 11042016: BLAST 2.7.3 на SV-COMP'2016. Опубликовано Vadim Mutilin в Пнд, 11/04/2016 - 16:10. 13102015: Проект LDV - исправлена вторая сотня ошибок в ядре Linux. Опубликовано Vadim Mutilin в Пнд, 12/10/2015 - 21:00.
etaps.org
ETAPS 2012
http://www.etaps.org/index.php/2012
Wednesday, August 24, 2016. ETAPS 2012: 24 March - 1 April 2012, Tallinn, Estonia. 22 Mar.] Registration. At the workshops venue (TUT Building X, 4th floor), registration will be open from 8.30 on 24 March, 8.00 on 25 March, from 8.30 on 31 March, 1 April. At the main conferences venue (Swissotel, 6th floor), registration will open from 8.00 on 26-28 March, from 8.30 on 29-30 March. 22 Mar.] Here is some arrival info. In pdf (incl two maps), which you may wish to print out to take with you. 14 Mar.] ...
cprover.org
Wolverine
http://www.cprover.org/wolverine
Book on Decision Procedures. Is an interpolation-based software verification tool for ANSI-C and C programs and aims at computing Hoare-style correctness proofs for software programs. The tool is an implementation of the lazy abstraction with interpolants. Supports checking of reachability properties such as. Arithmetic underflow and overflow. Reachability of user-specified program locations. An API for third-party decision procedures. The architecture and the installation of Wolverine. Universal binary ...
etaps.org
TACAS 2015
http://www.etaps.org/index.php/2015/tacas
Sunday, August 21, 2016. ETAPS 2015: 11-18 April 2015, London, UK. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged. The topics covered by the conference include, but are not limited to:. Specification and verification techniques;. Software and hardware verification;. TACAS 2015 will...
en.wikipedia.org
Static program analysis - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Static_code_analysis
From Wikipedia, the free encyclopedia. Redirected from Static code analysis. Is the analysis of computer software. That is performed without actually executing programs (analysis performed on executing programs is known as dynamic analysis. In most cases the analysis is performed on some version of the source code. And in the other cases, some form of the object code. The term is usually applied to the analysis performed by an automated tool. Are also used in the latter case. Tool) to formal methods.
vsl2014.at
FLoC Olympic Games 2014 | Vienna Summer of Logic 2014
http://www.vsl2014.at/olympics/index.html
Vienna Summer of Logic. Logic in Computer Science / FLoC:. Logic in Artificial Intelligence:. FLoC Olympic Games 2014. Citius, Maius, Potentius – Faster, Bigger, More Powerful. Http:/ vsl2014.at/wp-content/uploads/goedelfanfare.mp3. FLoC Olympic Games Theme:. Kurt Gödel Fanfare ( Michael F. P. Huber. FLoC Olympic Games at a Glance. Big Screens (all-day), FLoC Panel (08:45-10:15). Competition Events and Sessions. VSL Joint Award Ceremony: Thursday, July 17 2014, 16:30-19:00. Synthesis Competition (SYNTCOM...
georg.weissenbacher.name
Georg Weissenbacher
http://georg.weissenbacher.name/publications.html
Books and book chapters. Books and book chapters. Boolean Satisfiability Solvers: Techniques and Extensions. In Software Safety and Security - Tools for Analysis and Verification, NATO Science for Peace and Security Series, IOS Press, 2012. Digitaltechnik - Eine praxisnahe Einführung. With Armin Biere, Daniel Kröning, and Christoph M. Wintersteiger. Springer textbook, March 2008. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. Journal of Automated Reasoning, February 2016.