TREX

swMATH1388MaRDI QIDQ14127

No author found.

Related Items (38)

Using forward reachability analysis for verification of lossy channel systems ⋮ Forward analysis and model checking for trace bounded WSTS ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Learning to verify branching time properties ⋮ CONCUR 2004 - Concurrency Theory ⋮ Automated Technology for Verification and Analysis ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ 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 ⋮ Term Rewriting and Applications ⋮ Learning Behaviors of Functions ⋮ Forward Analysis and Model Checking for Trace Bounded WSTS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Programs with lists are counter automata ⋮ Automated Technology for Verification and Analysis ⋮ Automated Technology for Verification and Analysis ⋮ Fast Acceleration of Ultimately Periodic Relations ⋮ Behavioral Cartography of Timed Automata ⋮ Correct Hardware Design and Verification Methods ⋮ Memory Event Clocks ⋮ Reachability in Timed Counter Systems ⋮ Alternation for Termination ⋮ Quantitative separation logic and programs with lists ⋮ Reversal-Bounded Counter Machines Revisited ⋮ Programs with Lists Are Counter Automata ⋮ Accelerated Data-Flow Analysis ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Unnamed Item ⋮ Towards Model-Checking Programs with Lists ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Flat Parametric Counter Automata ⋮ Model Checking Software ⋮ Computer Aided Verification ⋮ Verification of programs with half-duplex communication ⋮ Linear parametric model checking of timed automata ⋮ Flat Petri nets (invited talk)

This page was built for software: TREX