Combining Model Learning and Model Checking to Analyze TCP Implementations
Abstract elided by the publisher.
Related papers
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations POPL 2006
- Scalable Tree-based Register Automata Learning TACAS 2024
- Digital Bifurcation Analysis of TCP Dynamics TACAS 2019
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Tales from the jungle ICFP 2012
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- Learning One-Clock Timed Automata TACAS 2020