UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

The complexity of propositional linear temporal logics

Journal of the ACM, 1985-07, Vol.32 (3), p.733-749

1985

Volltextzugriff (PDF)

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM transactions on programming languages and systems, 1986-04, Vol.8 (2), p.244-263

1986

Volltextzugriff (PDF)

Symmetry reductions in model checking

Computer Aided Verification, 1998, p.147-158

1998

Volltextzugriff (PDF)

On model checking for the μ-calculus and its fragments

Theoretical computer science, 2001, Vol.258 (1), p.491-522

2001

Volltextzugriff (PDF)

Proving correctness with respect to nondeterministic safety specifications

Information processing letters, 1991-07, Vol.39 (1), p.45-49

Sistla, A.P.

1991

Volltextzugriff (PDF)

On verifying that a concurrent program satisfies a nondeterministic specification

Information processing letters, 1989-07, Vol.32 (1), p.17-23

Sistla, A.P.

1989

Volltextzugriff (PDF)

Temporal triggers in active databases

IEEE transactions on knowledge and data engineering, 1995-06, Vol.7 (3), p.471-486

1995

Volltextzugriff (PDF)

SMC: A symmetry based model checker for verification of liveness properties

Computer Aided Verification, 1997, p.464-467

1997

Volltextzugriff (PDF)

Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach

ACM transactions on programming languages and systems, 1997-07, Vol.19 (4), p.617-638

1997

Volltextzugriff (PDF)

A multiprocess network logic with temporal and spatial modalities

Journal of computer and system sciences, 1985-01, Vol.30 (1), p.41-53

1985

Volltextzugriff (PDF)

On model-checking for fragments of μ-calculus

Computer Aided Verification, 2005, p.385-396

2005

Volltextzugriff (PDF)

Quantitative temporal reasoning

Real-time systems, 1992-12, Vol.4 (4), p.331-352

1992

Volltextzugriff (PDF)

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

1992

Volltextzugriff (PDF)

Safety, liveness and fairness in temporal logic

Formal aspects of computing, 1994-09, Vol.6 (5), p.495-511

SISTLA, A. P

1994

Volltextzugriff (PDF)

Updating and querying databases that track mobile units

Distributed and parallel databases : an international journal, 1999, Vol.7 (3), p.257-287

1999

Volltextzugriff (PDF)

Reasoning about systems with many processes

Journal of the ACM, 1992-07, Vol.39 (3), p.675-735

1992

Volltextzugriff (PDF)

Symmetry and model checking

Formal methods in system design, 1996-08, Vol.9 (1-2), p.105-131

1996

Volltextzugriff (PDF)

Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach

Computer Aided Verification, 1995, p.309-324

1995

Volltextzugriff (PDF)

Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks

Advances in Spatial and Temporal Databases, 2005, p.346-363

2005

Volltextzugriff (PDF)

Symmetry and reduced symmetry in model checking

ACM transactions on programming languages and systems, 2004-07, Vol.26 (4), p.702-734

2004

Volltextzugriff (PDF)

Incremental Verification of Architecture Specification Language for Real-Time Systems

International journal of software engineering and knowledge engineering, 1998-09, Vol.8 (3), p.347-360

1998

Volltextzugriff (PDF)

Quantitative temporal reasoning

Computer-Aided Verification, 1991, p.136-145

1991

Volltextzugriff (PDF)

Taming Interface Specifications

CONCUR 2005 – Concurrency Theory, 2005, p.548-561

2005

Volltextzugriff (PDF)

SMC: a symmetry-based model checker for verification of safety and liveness properties

ACM transactions on software engineering and methodology, 2000-04, Vol.9 (2), p.133-166

2000

Volltextzugriff (PDF)

Can message buffers be axiomatized in linear temporal logic?

Information and control, 1984-10, Vol.63 (1), p.88-112

1984

Volltextzugriff (PDF)

1 – 25 von 172

Menü

Weitere Dienste

Einstellungen

The complexity of propositional linear temporal logics

Automatic verification of finite-state concurrent systems using temporal logic specifications

Symmetry reductions in model checking

On model checking for the μ-calculus and its fragments

Proving correctness with respect to nondeterministic safety specifications

On verifying that a concurrent program satisfies a nondeterministic specification

Temporal triggers in active databases

SMC: A symmetry based model checker for verification of liveness properties

Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach

A multiprocess network logic with temporal and spatial modalities

On model-checking for fragments of μ-calculus

Quantitative temporal reasoning

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Safety, liveness and fairness in temporal logic

Updating and querying databases that track mobile units

Reasoning about systems with many processes

Symmetry and model checking

Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach

Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks

Symmetry and reduced symmetry in model checking

Incremental Verification of Architecture Specification Language for Real-Time Systems

Quantitative temporal reasoning

Taming Interface Specifications

SMC: a symmetry-based model checker for verification of safety and liveness properties

Can message buffers be axiomatized in linear temporal logic?

Suchergebnisse filtern