Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-32469-7_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Checking Experiments for Finite State Machines With Symbolic Inputs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Generalized Symbolic Execution for Model Checking and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Model Checking Timed UML State Machines and Collaborations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

On the Nature of Symbolic Execution

2019English

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

Proceedings of the Institute for System Programming of the RAS
2018English

Symbolic Step Encodings for Object Based Communicating State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Symbolic Execution for JavaScript

2018English

Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy