„Software model checking“
Suchergebnisse
732 Treffer
-
IC3 software model checking
-
Preface of the special issue on Model Checking of Software – Selected papers of the 20th International SPIN Symposium on Model Checking of Software
-
Cooperative verifier-based testing with CoVeriTest
-
Model Checking for Combined Logics with an Application to Mobile Systems
-
Model Checking for Probabilistic Multiagent Systems
-
Transactions on Petri Nets and Other Models of Concurrency XVII
-
Automated verification of concurrent go programs via bounded model checking
-
Testing of machine learning algorithms and models
-
Synthesizing Promela model sketches using abstract lifted model checking
-
Explanation of the Model Checker Verification Results
-
Symmetry and model checking
-
Exploiting symmetry in temporal logic model checking
-
Silicon Debug of a PowerPC™ Microprocessor Using Model Checking
-
Complete symbolic simulation of systemC models – efficient formal verification of finite non-terminating programs
-
Parallel processing workshops
-
Enhancing active model learning with equivalence checking using simulation relations
-
Combining partial order reductions with on-the-fly model-checking
-
Model-Checking with Coverability Graphs
-
On-the-Fly Model Checking Under Fairness that Exploits Symmetry
-
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip