Model Checking Using Net Unfoldings

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-56610-4_93
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

High-Level Petri Net Model Checking With AlPiNA

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Modular Construction of Finite and Complete Prefixes of Petri Net Unfoldings

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model-Checking Software Using Precise Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Checking the Net Contents of Packaged Goods

2018English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Checking

1997English

Model Checking Real Time Java Using Java PathFinder

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy