Swarat Chaudhuri, Azadeh Farzan
Proceedings of the 28th International Conference on Computer Aided Verification, Part II
CAV (2), 2016.

@proceedings{CAV-p2-2016,
	doi           = "10.1007/978-3-319-41540-6",
	editor        = "Swarat Chaudhuri and Azadeh Farzan",
	isbn          = "978-3-319-41539-0",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 28th International Conference on Computer Aided Verification, Part II}",
	volume        = 9780,
	year          = 2016,
}

Contents (29 items)

CAV-2016-GarioCMTR #automation #design #model checking #scalability

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.

CAV-2016-PernsteinerLTTW #modelling #safety #using

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.

CAV-2016-ReidCDGHKPSVZ #verification

End-to-End Verification of Processors with ISA-Formal (AR, RC, AD, DG, DH, WK, AP, OS, PV, AZ), pp. 42–58.

CAV-2016-XuFFZZL #framework #kernel #verification

A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.

CAV-2016-SantolucitoZP #automation #learning #probability

Probabilistic Automated Language Learning for Configuration Files (MS, EZ, RP), pp. 80–87.

CAV-2016-ChenSW #approach #commutative #framework #pipes and filters #problem #transducer

The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach (YFC, LS, ZW), pp. 91–111.

CAV-2016-LinR #liveness #random

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (AWL, PR), pp. 112–133.

CAV-2016-AbdullaAJL #model checking

Stateless Model Checking for POWER (PAA, MFA, BJ, CL), pp. 134–156.

CAV-2016-ChistikovMN #product line #source code

Hitting Families of Schedules for Asynchronous Programs (DC, RM, FN), pp. 157–176.

CAV-2016-HerdtLGD #named #performance #simulation

ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (VH, HML0, DG, RD), pp. 177–183.

CAV-2016-FuS #float #named #performance #satisfiability

XSat: A Fast Floating-Point Satisfiability Solver (ZF, ZS), pp. 187–209.

CAV-2016-DrewsA #effectiveness

Effectively Propositional Interpolants (SD, AA), pp. 210–229.

CAV-2016-DacaHK #array #logic

Array Folds Logic (PD, TAH, AK), pp. 230–248.

CAV-2016-AlurMT #composition #multi #synthesis

Compositional Synthesis of Reactive Controllers for Multi-agent Systems (RA, SM, UT), pp. 251–269.

CAV-2016-BenerecettiDM #game studies

Solving Parity Games via Priority Promotion (MB, DD, FM), pp. 270–290.

CAV-2016-HahnSTZ #algorithm #game studies #probability

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games (EMH, SS, AT, LZ0), pp. 291–311.

CAV-2016-SickertEJK #automaton #linear #logic

Limit-Deterministic Büchi Automata for Linear Temporal Logic (SS, JE, SJ, JK), pp. 312–332.

CAV-2016-EhlersR #named #synthesis

Slugs: Extensible GR(1) Synthesis (RE, VR), pp. 333–339.

CAV-2016-EldibWW #encryption #synthesis

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits (HE, MW, CW0), pp. 343–363.

CAV-2016-LeggNR #bound #satisfiability #synthesis

A SAT-Based Counterexample Guided Method for Unbounded Synthesis (AL, NN, LR), pp. 364–382.

CAV-2016-DAntoniSS #named #program repair

Qlose: Program Repair with Quantitative Objectives (LD, RS, RS), pp. 383–401.

CAV-2016-FriedTV #functional #synthesis

BDD-Based Boolean Functional Synthesis (DF, LMT, MYV), pp. 402–421.

CAV-2016-JordanSS #named #synthesis

Soufflé: On Synthesis of Program Analyzers (HJ, BS, PS), pp. 422–430.

CAV-2016-FedyukovichGS #equivalence #simulation

Property Directed Equivalence via Abstract Simulation (GF, AG, NS), pp. 433–453.

CAV-2016-Fiterau-Brostean #implementation #learning #model checking

Combining Model Learning and Model Checking to Analyze TCP Implementations (PFB, RJ, FWV), pp. 454–471.

CAV-2016-Wijs #linear #model checking

BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs (AW), pp. 472–493.

CAV-2016-SevegnaniC #analysis #graph #named

BigraphER: Rewriting and Analysis Engine for Bigraphs (MS, MC), pp. 494–501.

CAV-2016-BeyerD #debugging #fault #interactive

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses (DB, MD), pp. 502–509.

CAV-2016-ChampionMST #model checking

The Kind 2 Model Checker (AC, AM, CS, CT), pp. 510–517.