Checking Extended CTL Properties Using Guarded Quotient Structures

Formal Methods in System Design - Netherlands
doi 10.1007/s10703-007-0037-2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2018English

Quotient Structures in Lattice Effect Algebras

Kybernetika
ControlSystems EngineeringInformation SystemsElectronic EngineeringElectricalTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

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

Local Properties of Quotient Analytic Spaces

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1978English

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Queries With Guarded Negation

Proceedings of the VLDB Endowment
Computer Science
2012English

Checking System Properties via Integer Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

About Using Machine Learning Technologies for Checking Statistical Properties of Symmetric Cryptography Algorithms

Prikladnaya diskretnaya matematika. Prilozhenie
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy