On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45931-6_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Model Checking

1997English

Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Case for Heterogeneous Procedures on Model Checking

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

On-The-Fly Model Checking of RCTL Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Abstract Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy