Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31980-1_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Abstract Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Monotonic Abstraction for Programs With Multiply-Linked Structures

International Journal of Foundations of Computer Science
Computer Science
2013English

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

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

Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verifying Networked Programs Using a Model Checker Extension

2009English

Model Checking Propositional Dynamic Logic With All Extras

Journal of Applied Logic
Applied MathematicsLogic
2006English

Efficient Decompositional Model Checking for Regular Timing Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy