Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Methods in System Design

Issue 3/2016

Special issue: CAV 2014

Content (7 Articles)

2014 CAV award announcement

Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball

The spirit of ghost code

Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich

SMT-based model checking for recursive programs

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki

An efficient SMT solver for string constraints

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters

From invariant checking to invariant inference using randomized search

Rahul Sharma, Alex Aiken

A search-based procedure for nonlinear real arithmetic

Ashish Tiwari, Patrick Lincoln

Open Access

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački

Apr 16
Issue: 1-2/2016
Oct 16
Issue: 1-2/2016
Special issue on Runtime Verification 2014

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits