MetaGame: An Animation Tool for Model-Checking Games

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24730-2_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Tool Support for Model Checking of Web Application Designs

English

Temporal Logic Query Checking: A Tool for Model Exploration

IEEE Transactions on Software Engineering
Software
2003English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

An Improved Shallow Water Equation Model for Water Animation

2017English

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Journal of Applied Mathematics
Applied Mathematics
2013English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Improvement of the Piggyback Algorithm for Parallel Model Checking

2014English

A Simulation and Animation Tool for Studying Multivariable Control

IFAC Proceedings Volumes
2002English

Model Checking

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy