LASH
From MaRDI portal
Cited in
(27)- Implementation and Application of Automata
- Tools and Algorithms for the Construction and Analysis of Systems
- scientific article; zbMATH DE number 2090515 (Why is no real title available?)
- A Generalization of Semenov’s Theorem to Automata over Real Numbers
- Forward analysis and model checking for trace bounded WSTS
- Forward analysis and model checking for trace bounded WSTS
- On iterating linear transformations over recognizable sets of integers
- scientific article; zbMATH DE number 1949644 (Why is no real title available?)
- Iterating transducers in the large (extended abstract)
- The Power of Hybrid Acceleration
- Don't care words with an application to the automata-based approach for real addition
- TREX
- PNML
- MONA
- FAST
- LIRA
- Mungo
- session-ocaml
- A type checking algorithm for concurrent object protocols
- Structural Presburger digit vector automata
- Counting the solutions of Presburger equations without enumerating them.
- Learning to verify branching time properties
- Hybrid acceleration using real vector automata (extended abstract)
- Observations on determinization of Büchi automata
- Verification of programs with half-duplex communication
- scientific article; zbMATH DE number 1765703 (Why is no real title available?)
- Automated Technology for Verification and Analysis
This page was built for software: LASH
