Interpolants and Symbolic Model Checking
From MaRDI portal
Recommendations
Cited in
(55)- Integrating external deduction tools with ACL2
- New developments in the theory of Gröbner bases and applications to formal verification
- AND/OR search spaces for graphical models
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Star-topology decoupled state space search
- A local approach for temporal model checking of Java bytecode
- Specification in CTL + past for verification in CTL.
- Module checking
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Probably approximately correct interpolants generation
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Computation tree logic model checking based on multi-valued possibility measures
- On the order of test goals in specification-based testing
- Model checking of linear-time properties in multi-valued systems
- SAT-based explicit LTL reasoning and its application to satisfiability checking
- On the universal and existential fragments of the \(\mu\)-calculus
- State-set branching: leveraging BDDs for heuristic search
- Strong planning under partial observability
- Action and knowledge in alternating-time temporal logic
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Compositional SCC analysis for language emptiness
- Probabilistic temporal logics via the modal mu-calculus
- An interpolating theorem prover
- The state of SAT
- Interpolant learning and reuse in SAT-based model checking
- Ground interpolation for the theory of equality
- BDD-based symbolic model checking
- scientific article; zbMATH DE number 3851043 (Why is no real title available?)
- Efficient symbolic search for cost-optimal planning
- Finding Guaranteed MUSes Fast
- Dynamic Path Reduction for Software Model Checking
- Ground Interpolation for the Theory of Equality
- Wu's characteristic set method for SystemVerilog assertions verification
- Interpolant strength
- Effectively propositional interpolants
- Programming Combinations of Deduction and BDD-based Symbolic Calculation
- Interpolation Properties and SAT-Based Model Checking
- Formal verification of concurrent systems via directed model checking
- Nested interpolants
- Computation tree logic model checking based on possibility measures
- Computer Science Logic
- Correct Hardware Design and Verification Methods
- Tools and Algorithms for the Construction and Analysis of Systems
- Applications and Theory of Petri Nets 2005
- Symbolic model checking with rich assertional languages
- An efficient algorithm for the parallel solution of high-dimensional differential equations
- Formal reliability analysis of redundancy architectures
- Linear reachability problems and minimal solutions to linear Diophantine equation systems
- Efficient generation of small interpolants in CNF
- Conformant planning via symbolic model checking and heuristic search
- A framework for the verification of infinite-state graph transformation systems
- An automatic abstraction technique for verifying featured, parameterised systems
- Test generation from P systems using model checking
This page was built for publication: Interpolants and Symbolic Model Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452599)
