LASH
From MaRDI portal
Software:33079
No author found.
Related Items (20)
Forward analysis and model checking for trace bounded WSTS ⋮ On iterating linear transformations over recognizable sets of integers ⋮ Structural Presburger digit vector automata ⋮ Unnamed Item ⋮ Learning to verify branching time properties ⋮ Observations on determinization of Büchi automata ⋮ Counting the solutions of Presburger equations without enumerating them. ⋮ Implementation and Application of Automata ⋮ Forward Analysis and Model Checking for Trace Bounded WSTS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automated Technology for Verification and Analysis ⋮ A Generalization of Semenov’s Theorem to Automata over Real Numbers ⋮ The Power of Hybrid Acceleration ⋮ A type checking algorithm for concurrent object protocols ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Don't care words with an application to the automata-based approach for real addition ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Verification of programs with half-duplex communication
This page was built for software: LASH
