Model checking for hybrid branching-time logics

Daniel Kernberger; Martin Lange

doi:10.1016/j.jlamp.2018.11.007

ScienceGate Book Chapters

JOURNAL ARTICLE

Model checking for hybrid branching-time logics

Daniel Kernberger Martin Lange

Year: 2018 Journal: Journal of Logical and Algebraic Methods in Programming Vol: 110 Pages: 100427-100427 Publisher: Elsevier BV

DOI: 10.1016/j.jlamp.2018.11.007

Get Full-Text PDF Get Analytical Report

Keywords:

CTL* Decidability Model checking Completeness (order theory) Branching (polymer chemistry) Temporal logic Theoretical computer science Computation tree logic Mathematics Semantics (computer science) Discrete mathematics PSPACE Bounded function Computer science Algorithm Programming language Computational complexity theory Medicine

Metrics

Cited By

0.25

FWCI (Field Weighted Citation Impact)

Refs

0.56

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Synthetic Organic Chemistry Methods

Physical Sciences → Chemistry → Organic Chemistry

Model checking for hybrid branching-time logics

Metrics

Citation History

Topics

Related Documents

Model Checking Branching Time Logics

Model Checking Games for Branching Time Logics

Hybrid Branching-Time Logics

Temporal Logics for Linear and Branching Time and Model Checking

A New Approach to Bounded Model Checking for Branching Time Logics