Review



partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem  (Verlag GmbH)

 
  • Logo
  • About
  • News
  • Press Release
  • Team
  • Advisors
  • Partners
  • Contact
  • Bioz Stars
  • Bioz vStars
    • 90
      Buy from Supplier

    Structured Review

    Verlag GmbH partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem
    Partial Order Methods For The Verification Of Concurrent Systems: An Approach To The State Explosion Problem, supplied by Verlag GmbH, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/partial+order+methods+for+the+verification+of+concurrent+systems++an+approach+to+the+state+explosion+problem/us07650595-365-18-20
    Average 90 stars, based on 1 article reviews
    partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem - by Bioz Stars, 2026-10
    90/100 stars

    Images

    Related Articles

    other:

    Article Title: Sound transaction-based reduction without cycle detection
    Article Snippet: 93-112 (September 1996); Godefroid et al., Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Springer-Verlag (1996).

    Article Title: Sound transaction-based reduction without cycle detection
    Article Snippet: 93-112 (September 1996); Godefroid et al., Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Springer-Verlag (1996); Godefroid, “Model Checking for Programming Languages Using Verisoft,” POPL: 24th ACM Symp. on Principles of Programming Languages, pp.



    Similar Products

    double verification procedures  (STATA Corporation)
    99
    STATA Corporation double verification procedures
    Double Verification Procedures, supplied by STATA Corporation, used in various techniques. Bioz Stars score: 99/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/STATA+16%2E0/pmc12893964-112-4-12
    Average 99 stars, based on 1 article reviews
    double verification procedures - by Bioz Stars, 2026-10
    99/100 stars
    		  Buy from Supplier
    finite element method verification  (COMSOL Inc)
    90
    COMSOL Inc finite element method verification
    Finite Element Method Verification, supplied by COMSOL Inc, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/finite+element+method+verification/10__20535_slash_2523___4455__mea__314787-27-34-38
    Average 90 stars, based on 1 article reviews
    finite element method verification - by Bioz Stars, 2026-10
    90/100 stars
    		  Buy from Supplier
    verification method  (Twilio Inc)
    90
    Twilio Inc verification method
    Verification Method, supplied by Twilio Inc, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/verification+method/10__55041_slash_isjem01671-120-4-4
    Average 90 stars, based on 1 article reviews
    verification method - by Bioz Stars, 2026-10
    90/100 stars
    		  Buy from Supplier
    verification and validation of the detection method  (Joint Research Center)
    90
    Joint Research Center verification and validation of the detection method
    Verification And Validation Of The Detection Method, supplied by Joint Research Center, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/verification+and+validation+of+the+detection+method/pmc11022705-12-8-22
    Average 90 stars, based on 1 article reviews
    verification and validation of the detection method - by Bioz Stars, 2026-10
    90/100 stars
    		  Buy from Supplier
    range verification methods  (Knopf Inc)
    90
    Knopf Inc range verification methods
    Basics of range <t>verification,</t> exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.
    Range Verification Methods, supplied by Knopf Inc, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/range+verification+methods/pmc10008084-88-9-14
    Average 90 stars, based on 1 article reviews
    range verification methods - by Bioz Stars, 2026-10
    90/100 stars
    		  Buy from Supplier
    method verification  (WesTgard QC)
    90
    WesTgard QC method verification
    Basics of range <t>verification,</t> exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.
    Method Verification, supplied by WesTgard QC, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/method+verification/pm36609689-433-0-1
    Average 90 stars, based on 1 article reviews
    method verification - by Bioz Stars, 2026-10
    90/100 stars
    		  Buy from Supplier
    t540p firmware update procedure lacks signature verification  (Lenovo Inc)
    86
    Lenovo Inc t540p firmware update procedure lacks signature verification
    Basics of range <t>verification,</t> exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.
    T540p Firmware Update Procedure Lacks Signature Verification, supplied by Lenovo Inc, used in various techniques. Bioz Stars score: 86/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/firmware+lacks+procedure+signature+t540p+update+verification/10__1109_slash_access__2023__3298833-20-14-13
    Average 86 stars, based on 1 article reviews
    t540p firmware update procedure lacks signature verification - by Bioz Stars, 2026-10
    86/100 stars
    		  Buy from Supplier
    verification methods  (MathWorks Inc)
    93
    MathWorks Inc verification methods
    Basics of range <t>verification,</t> exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.
    Verification Methods, supplied by MathWorks Inc, used in various techniques. Bioz Stars score: 93/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
    https://www.bioz.com/product/verification+method/Simulink+Design+Verifier/ppr0576639-69-6-10
    Average 93 stars, based on 1 article reviews
    verification methods - by Bioz Stars, 2026-10
    93/100 stars
    		  Buy from Supplier

    Image Search Results


    Basics of range verification, exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.

    Journal: Physics in medicine and biology

    Article Title: Automation and uncertainty analysis of a method for in-vivo range verification in particle therapy

    doi: 10.1088/0031-9155/59/19/5903

    Figure Lengend Snippet: Basics of range verification, exemplarily shown for the voxel coordinates (x, y) = (70,59) in patient P3 (cf table 1). Left: β+-activity profiles obtained by MC simulation and in-beam PET measurement, normalized to the maximum, as well as the corresponding dose profile are shown. The blue lines denote the location of the activity maximum, the 50 % dose fall-off (vertically, left to right) and the 20 % activity limit (horizontally). Right: The profile difference Ddiff is visualized as function of the profile shift for different analysis starting depths zmin.

    Article Snippet: In the following section, the basic principles of the range verification methods by ( Knopf et al. 2008 ) and ( Min et al. 2013 ) are reviewed, which are used in the development of the MLS approach and applied to the investigated data, respectively.

    Techniques: Activity Assay

    Range verification of the proton-irradiation induced activity in P7. (a) Exemplary sagittal planes of the simulation (top) and the offline PET measurement (bottom) are displayed. (b) The corresponding normalized activity depth profiles are shown together with the dose profile. The activity fall-off thresholds of 25 % and 50 % are marked by blue lines. (c) The MLS results (top) show only small deviations in most parts of the distribution compared to the MP (bottom) calculations.

    Journal: Physics in medicine and biology

    Article Title: Automation and uncertainty analysis of a method for in-vivo range verification in particle therapy

    doi: 10.1088/0031-9155/59/19/5903

    Figure Lengend Snippet: Range verification of the proton-irradiation induced activity in P7. (a) Exemplary sagittal planes of the simulation (top) and the offline PET measurement (bottom) are displayed. (b) The corresponding normalized activity depth profiles are shown together with the dose profile. The activity fall-off thresholds of 25 % and 50 % are marked by blue lines. (c) The MLS results (top) show only small deviations in most parts of the distribution compared to the MP (bottom) calculations.

    Article Snippet: In the following section, the basic principles of the range verification methods by ( Knopf et al. 2008 ) and ( Min et al. 2013 ) are reviewed, which are used in the development of the MLS approach and applied to the investigated data, respectively.

    Techniques: Irradiation, Activity Assay

    Range verification with several offline measured activity distributions after different treatment fractions of P6. The most-likely shift for the analysis between M1 and M2 (a), M1 and M3 (b) as well as between M1 and M4 (c) is shown.

    Journal: Physics in medicine and biology

    Article Title: Automation and uncertainty analysis of a method for in-vivo range verification in particle therapy

    doi: 10.1088/0031-9155/59/19/5903

    Figure Lengend Snippet: Range verification with several offline measured activity distributions after different treatment fractions of P6. The most-likely shift for the analysis between M1 and M2 (a), M1 and M3 (b) as well as between M1 and M4 (c) is shown.

    Article Snippet: In the following section, the basic principles of the range verification methods by ( Knopf et al. 2008 ) and ( Min et al. 2013 ) are reviewed, which are used in the development of the MLS approach and applied to the investigated data, respectively.

    Techniques: Activity Assay