Software model checking
From MaRDI portal
Recommendations
Cited in
(55)- Formal Verification Based on Guided Random Walks
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
- Syntax-directed model checking of sequential programs
- Model Checking Software
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 5636822 (Why is no real title available?)
- scientific article; zbMATH DE number 1633145 (Why is no real title available?)
- State/Event Software Verification for Branching-Time Specifications
- Model checking dynamic memory allocation in operating systems
- Automatic verification of safety rules for a subway control software
- scientific article; zbMATH DE number 2090155 (Why is no real title available?)
- scientific article; zbMATH DE number 1953015 (Why is no real title available?)
- scientific article; zbMATH DE number 2086963 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Science Logic
- Modelling and verification of high-order typed software architecture and case study
- scientific article; zbMATH DE number 1670556 (Why is no real title available?)
- Distributed and predictable software model checking
- Integrated Formal Methods
- Dealing with incompleteness in automata-based model checking
- A Review on Specifying Software Architectures Using Extended Automata-Based Models
- Model checking, synthesis, and learning
- Research of process model supporting for software requirements verification
- On automation in the verification of software barriers: experience report
- Procedure extraction to improve scalability of software model checking
- Types as models: model checking message-passing programs
- A two-level approach based on model checking to support architecture conformance checking
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- scientific article; zbMATH DE number 1905113 (Why is no real title available?)
- scientific article; zbMATH DE number 1796139 (Why is no real title available?)
- Model checking learning agent systems using Promela with embedded C code and abstraction
- scientific article; zbMATH DE number 2080754 (Why is no real title available?)
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- scientific article; zbMATH DE number 1953017 (Why is no real title available?)
- scientific article; zbMATH DE number 1693453 (Why is no real title available?)
- Parallel assignments in software model checking
- Estimating the maximum rise in temperature according to climate models using abstract interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- scientific article; zbMATH DE number 1696882 (Why is no real title available?)
- scientific article; zbMATH DE number 1903343 (Why is no real title available?)
- Automated Technology for Verification and Analysis
- Partially Bounded Context-Aware Verification
- scientific article; zbMATH DE number 1670561 (Why is no real title available?)
- scientific article; zbMATH DE number 2087639 (Why is no real title available?)
- scientific article; zbMATH DE number 1953278 (Why is no real title available?)
- Software model checking by program specialization
- Transactions for software model checking
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Abstracting models from execution traces for performing formal verification
- scientific article; zbMATH DE number 1507202 (Why is no real title available?)
- Model checking: from hardware to software.
- Automated Technology for Verification and Analysis
- CTL Model Checking for Boolean Program
- Symbolic model checking of software
- Constructing Property-Oriented Models for Verification
This page was built for publication: Software model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767990)
