Semantic Scholar uses AI to extract papers important to this topic.
This paper describes the system developed by the Centre for English Corpus Linguistics for the 2018 Duolingo SLAM challenge. It… Expand We present an algorithm for computing directly the denotation of a @m-calculus formula @g over the configuration graph of a… Expand We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates… Expand This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular… Expand Traditionally, the SLAM problem solves the localization and mapping problem in explored and sensed regions. This paper presents a… Expand The SLAM project originated in Microsoft Research in early 2000. Its goal was to automatically check that a C program correctly… Expand In this paper we consider techniques to identify and remove redundant predicates during predicate abstraction. We give three… Expand The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… Expand The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… Expand We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… Expand