Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution)
Abstract elided by the publisher.
1,553 papers · page 42 of 78
Environment-Model Based Testing of Control Systems: Case Studies
Abstract elided by the publisher.
CBMC - C Bounded Model Checker - (Competition Contribution)
Abstract elided by the publisher.
Variations on Safety
Abstract elided by the publisher.
Ranking Templates for Linear Loops
Abstract elided by the publisher.
Synthesis for Human-in-the-Loop Control Systems
Abstract elided by the publisher.
Concurrent Depth-First Search Algorithms
We present concurrent algorithms, based on depth-first search, for three problems relevant to model checking: given a state graph, to find its strongly connected components, which states are in loops, and which states are in “lassos”. Our algorithms typically exhibit about a four…
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution)
Abstract elided by the publisher.
Learning Regular Languages over Large Alphabets
Apprentissage de langages réguliers sur des alphabets de grandes tailles L'apprentissage de langages réguliers est un sous-ensemble de l'apprentissage automatique qui s'est révélé utile dans de nombreux domaines tels que l'intelli-gence artificielle, les réseaux de neurones, l'ex…
ESBMC 1.22 - (Competition Contribution)
Abstract elided by the publisher.
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution)
Abstract elided by the publisher.
GRASShopper - Complete Heap Verification with Mixed Specifications
Abstract elided by the publisher.
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
Abstract elided by the publisher.
Basic Problems in Multi-View Modeling
Abstract elided by the publisher.
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata
Abstract elided by the publisher.
Bounds2: A Tool for Compositional Multi-parametrised Verification
Abstract elided by the publisher.
Symbiotic 2: More Precise Slicing - (Competition Contribution)
Abstract elided by the publisher.
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance
Abstract elided by the publisher.
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution)
Abstract elided by the publisher.
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
Abstract elided by the publisher.