Modeling and Analyzing the Strategy Game “Factorio” Using Modular Petri Nets and the General-Purpose Petri Net Simulator
Article in Electronics (April 2024)
The most recent citing publication is shown below. View this citation on Dimensions.
Verified Software: Theories, Tools and Experiments
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Logical Analysis of Framing for Specifications with Pure Method Calls
-
Altmetric BadgeChapter 2 Efficient Refinement Checking in VCC
-
Altmetric BadgeChapter 3 Formalizing Semantics with an Automatic Program Verifier
-
Altmetric BadgeChapter 4 The KeY Platform for Verification and Analysis of Java Programs
-
Altmetric BadgeChapter 5 A Verification Condition Visualizer
-
Altmetric BadgeChapter 6 Formal Modeling and Verification of CloudProxy
-
Altmetric BadgeChapter 7 Using Promela in a Fully Verified Executable LTL Model Checker
-
Altmetric BadgeChapter 8 Store Buffer Reduction with MMUs
-
Altmetric BadgeChapter 9 Verified Software: Theories, Tools and Experiments
-
Altmetric BadgeChapter 10 Separation Algebras for C Verification in Coq
-
Altmetric BadgeChapter 11 Automatically Verified Implementation of Data Structures Based on AVL Trees
-
Altmetric BadgeChapter 12 A Model for Capturing and Replaying Proof Strategies
-
Altmetric BadgeChapter 13 A Certifying Frontend for (Sub)polyhedral Abstract Domains
-
Altmetric BadgeChapter 14 Verified Software: Theories, Tools and Experiments
-
Altmetric BadgeChapter 15 Parameterized Model-Checking of Timed Systems with Conjunctive Guards
-
Altmetric BadgeChapter 16 Timed Refinement for Verification of Real-Time Object Code Programs
-
Altmetric BadgeChapter 17 What Gives? A Hybrid Algorithm for Error Trace Explanation
Attention for Chapter 11:
Automatically Verified Implementation of Data Structures Based on AVL Trees
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions