FAST
From MaRDI portal
FAST Q33078
Cited in
(56)- Don't care words with an application to the automata-based approach for real addition
- The convex hull of a regular set of integer vectors is polyhedral and effectively computable
- IMITATOR
- TREX
- PNML
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- FLATA
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Dagger
- Aspic
- MONA
- Dense-choice counter machines revisited
- Flat Petri nets (invited talk)
- Structural Presburger digit vector automata
- Verification of programs with half-duplex communication
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS
- Abstract fixpoint computations with numerical acceleration methods
- Extending abstract acceleration methods to data-flow programs with numerical inputs
- Forward analysis and model checking for trace bounded WSTS
- PSync
- Generalizing the template polyhedral domain
- Guiding Craig interpolation with domain-specific abstractions
- Forward analysis and model checking for trace bounded WSTS
- Symbolic model checking in non-Boolean domains
- Antichains
- EUREKA
- Fair termination for parameterized probabilistic concurrent systems
- LASH
- LIRA
- ByMC
- LoAT
- How to Tackle Integer Weighted Automata Positivity
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Reachability in parameterized systems: all flavors of threshold automata
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- scientific article; zbMATH DE number 7471708 (Why is no real title available?)
- A calculus for modular loop acceleration
- Verification of flat FIFO systems
- Automatic Verification of Bossa Scheduler Properties
- Automatic verification of counter systems with ranking function
- Reachability in timed counter systems
- Programs with lists are counter automata
- Experimenting Formal Proofs of Petri Nets Refinements
- Automated Technology for Verification and Analysis
- The Power of Hybrid Acceleration
- Verification of Flat FIFO Systems
- A case study on parametric verification of failure detectors
- Abstraction refinement and antichains for trace inclusion of infinite state systems
- Quantitative separation logic and programs with lists
- Ehrenfeucht-Fraïssé goes automatic for real addition
- On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
- Formal verification of real-time systems with preemptive scheduling
- Some ways to reduce the space dimension in polyhedra computations
- Verification of qualitative \(\mathbb Z\) constraints
- Verification and falsification of programs with loops using predicate abstraction
This page was built for software: FAST
