From Pre-historic to Post-modern Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs POPL 2000
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations POPL 2006
- Contract Soundness for Object-Oriented Languages OOPSLA 2001
- Extended static checking for haskell Haskell 2006
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- Software model checking using languages of nested trees TOPLAS 2011
- An optimization framework for embedded processors with auto-addressing mode TOPLAS 2010
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025