Comparison of Model Checking Tools for Information Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-16901-4_38
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Tools and Techniques for Model Checking Networked Programs

2008English

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model Checking Implicit-Invocation Systems

English

Bayesian Model Checking: A Comparison of Tests

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2018English

Partitioned PLTL Model-Checking for Refined Transition Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Quantitative Model Checking of Systems With Degradation

2009English

Global Model-Checking of Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy