Introduction to Model Checking (Q3176359): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(5 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Liss / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Limi / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: kepler98 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2803481836 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defining liveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4379577 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification of sequential and concurrent programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5452300 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2733893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shield Synthesis: / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal Specifications with Accumulative Values / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Discrete Event Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: From non-preemptive to preemptive scheduling using synchronization synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simulation distances / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative abstraction refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3336675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5227061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: LSCs: Breathing life into message sequence charts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: “Sometimes” and “not never” revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: 25 years of model checking. History, achievements, perspectives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Statecharts: a visual formalism for complex systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: From Model Checking to Model Measuring / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic basis for computer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model-Based Software Testing and Analysis with C# / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic execution and program testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A completeness theorem in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4261335 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4326390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving the Correctness of Multiprocess Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5364938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124327 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time for verification. Essays in memory of Amir Pnueli / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002642 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3948585 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5601829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3141897 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255591 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Software reliability methods. Foreword by Edmund M. Clarke / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4205072 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3940830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4074888 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Learning programs from noisy data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classes of Recursively Enumerable Sets and Their Decision Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification and Control of Hybrid Systems / rank
 
Normal rank

Latest revision as of 04:54, 16 July 2024

scientific article
Language Label Description Also known as
English
Introduction to Model Checking
scientific article

    Statements

    title
    Introduction to Model Checking (English)
    0 references
    author
    Helmut Veith
    0 references
    Edmund M. Clarke
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    DART
    0 references
    Coq
    0 references
    SPIN
    0 references
    jSpin
    0 references
    Isabelle/HOL
    0 references
    CESAR
    0 references
    UMDES
    0 references
    NModel
    0 references
    Liss
    0 references
    Limi
    0 references
    kepler98
    0 references
    cites work
    Defining liveness
    0 references
    Q4379577
    0 references
    Q5322945
    0 references
    Q5452300
    0 references
    Q2733893
    0 references
    Shield Synthesis:
    0 references
    Simulation distances
    0 references
    Q3336675
    0 references
    Q5227061
    0 references
    Q2751376
    0 references
    Q4385542
    0 references
    Q4261335
    0 references
    Q4326390
    0 references
    Q5364938
    0 references
    Q4124327
    0 references
    Q4002642
    0 references
    Q3948585
    0 references
    Q5601829
    0 references
    Q3141897
    0 references
    Q4255591
    0 references
    Q4205072
    0 references
    Q3940830
    0 references
    Q4074888
    0 references

    Identifiers

    zbMATH DE Number
    6908867
    0 references
    OpenAlex ID
    W2803481836
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176359&oldid=36410128"
    Powered by MediaWiki