TREX
From MaRDI portal
Software:14127
swMATH1388MaRDI QIDQ14127FDOQ14127
Author name not available (Why is that?)
Cited In (38)
- A survey of timed automata for the development of real-time systems
- Title not available (Why is that?)
- Fast acceleration of ultimately periodic relations
- Reachability in Timed Counter Systems
- Model Checking Software
- Flat Petri nets (invited talk)
- Forward analysis and model checking for trace bounded WSTS
- Quantitative separation logic and programs with lists
- How to Tackle Integer Weighted Automata Positivity
- Term Rewriting and Applications
- Title not available (Why is that?)
- Linear parametric model checking of timed automata
- Forward analysis and model checking for trace bounded WSTS
- CONCUR 2004 - Concurrency Theory
- Towards Model-Checking Programs with Lists
- Tools and Algorithms for the Construction and Analysis of Systems
- Learning Behaviors of Functions
- Alternation for termination
- Programs with lists are counter automata
- Programs with Lists Are Counter Automata
- Reversal-Bounded Counter Machines Revisited
- Learning to verify branching time properties
- Using forward reachability analysis for verification of lossy channel systems
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- Parameter synthesis for hierarchical concurrent real-time systems
- Verification of programs with half-duplex communication
- Correct Hardware Design and Verification Methods
- Memory event clocks
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
- Computer Aided Verification
- Title not available (Why is that?)
- Flat Parametric Counter Automata
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- Behavioral cartography of timed automata
- Accelerated Data-Flow Analysis
This page was built for software: TREX