The following pages link to TREX (Q14127):
Displaying 38 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Using forward reachability analysis for verification of lossy channel systems (Q1878928) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- (Q2769587) (← links)
- Forward Analysis and Model Checking for Trace Bounded WSTS (Q3011881) (← links)
- Learning Behaviors of Functions (Q3560555) (← links)
- Fast Acceleration of Ultimately Periodic Relations (Q3583851) (← links)
- Behavioral Cartography of Timed Automata (Q3584962) (← links)
- Memory Event Clocks (Q3588095) (← links)
- Reversal-Bounded Counter Machines Revisited (Q3599138) (← links)
- Accelerated Data-Flow Analysis (Q3612002) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Towards Model-Checking Programs with Lists (Q3644794) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- (Q4535007) (← links)
- (Q4806209) (← links)
- Alternation for Termination (Q4930735) (← links)
- (Q5129947) (← links)
- Reachability in Timed Counter Systems (Q5179060) (← links)
- Model Checking Software (Q5308376) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311488) (← links)
- Computer Aided Verification (Q5312913) (← links)
- Automated Technology for Verification and Analysis (Q5394194) (← links)
- Automated Technology for Verification and Analysis (Q5491888) (← links)
- Automated Technology for Verification and Analysis (Q5491889) (← links)
- Correct Hardware Design and Verification Methods (Q5493250) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703797) (← links)
- Term Rewriting and Applications (Q5703871) (← links)
- Programs with Lists Are Counter Automata (Q5756740) (← links)
- Flat Parametric Counter Automata (Q5901227) (← links)
