TREX

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