How to Compose Presburger-Accelerations: Applications to Broadcast Protocols
- 16 December 2002
- book chapter
- Published by Springer Nature
- p. 145-156
- https://doi.org/10.1007/3-540-36206-1_14
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- FMona: A Tool for Expressing Validation Techniques over Infinite State SystemsPublished by Springer Nature ,2000
- Symbolic Techniques for Parametric Reasoning about Counter and Clock SystemsPublished by Springer Nature ,2000
- Regular Model CheckingPublished by Springer Nature ,2000
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurationsTheoretical Computer Science, 1999
- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission ProtocolPublished by Springer Nature ,1999
- Reachability Analysis of (Timed) Petri Nets Using Real ArithmeticPublished by Springer Nature ,1999
- Reachability analysis of pushdown automata: Application to model-checkingPublished by Springer Nature ,1997
- Symbolic model checking of infinite state systems using presburger arithmeticPublished by Springer Nature ,1997
- The power of QDDs (extended abstract)Published by Springer Nature ,1997
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996