A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-48257-1_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Specification a Model for Study of Symbolic Processualism

Interconectando Saberes
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy