Partitioned PLTL Model-Checking for Refined Transition Systems

Information and Computation - United States
doi 10.1016/j.ic.2009.02.001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Formula Based Abstractions of Transition Systems for Real-Time Model Checking

English

Resolution-Based Model Construction for PLTL

2009English

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

Comparison of Model Checking Tools for Information Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy