pldb: programming languages papers

Skip to main content

2,069 papers · page 74 of 104

Efficient Image Computation in Infinite State Model Checking

Constantinos Bartzis, Tevfik Bultan

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

To Store or Not to Store

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems

Dirk Beyer, Claus Lewerentz, Andreas Noack

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Iterating Transducers in the Large (Extended Abstract)

Bernard Boigelot, Axel Legay, Pierre Wolper

Abstract. Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the reachable set of states of a system requires acceleration techniques that can finitely compute the effect of…

PDF DOI dblp Copy BibTeX

Model Checking Multi-Agent Programs with CASP

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Timed Control with Partial Observability

Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

Liana Bozga, Yassine Lakhnech, Michaël Périn

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Digitizing Interval Duration Logic

Gaurav Chakravorty, Paritosh K. Pandya

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

TLQSolver: A Temporal Logic Query Checker

Marsha Chechik, Arie Gurfinkel

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Structural Symbolic CTL Model Checking of Asynchronous Systems

Gianfranco Ciardo, Radu Siminiceanu

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates

Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Linear Invariant Generation Using Non-linear Constraint Solving

Michael Colón, Sriram Sankaranarayanan, Henny Sipma

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Monitoring Temporal Rules Combined with Time Series

Doron Drusinsky

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Reasoning with Temporal Logic on Truncated Paths

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Theorem Proving Using Lazy Proof Explication

Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe

Abstract elided by the publisher.

DOI dblp Copy BibTeX

An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Model Checking Conformance with Scenario-Based Specifications

Marcelo Glusman, Shmuel Katz

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Work-Efficient Distributed Algorithm for Reachability Analysis

Orna Grumberg, Tamir Heyman, Assaf Schuster

Abstract elided by the publisher.

DOI dblp Copy BibTeX