Quantified CTL: Expressiveness and Model Checking

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Checking Extended CTL Properties Using Guarded Quotient Structures

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2007English

Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2018English

Model Checking

1997English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Model Checking Birth and Death

2002English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy