swMATH1388MaRDI QIDQ14127FDOQ14127
Author name not available (Why is that?)
Official website: http://www.liafa.jussieu.fr/~sighirea/trex/
Cited In (55)
- A survey of timed automata for the development of real-time systems
- Title not available (Why is that?)
- Fast acceleration of ultimately periodic relations
- 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
- Verification of flat FIFO systems
- 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
- Reachability in timed counter systems
- IMITATOR
- VINAS-P
- Uppaal2k
- AGATHA
- PNML
- DREAM Tool
- TaPAS
- McAiT
- CoVer
- Shrinktech
- InVeSt
- Tempo
- McScM
- Omega
- FAST
- LASH
- PSyHCoS
- 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
- 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
