Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2016-1317
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

First-Order Logics of Branching Time

Logical Investigations
2013English

Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis

2008English

Model Checking Implicit-Invocation Systems

English

Formula Based Abstractions of Transition Systems for Real-Time Model Checking

English

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy