Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
Abstract elided by the publisher.
Related papers
- Nagini: A Static Verifier for Python CAV 2018
- Verifying Tree-Manipulating Programs via CHCs CAV 2025
- Sigma*: symbolic learning of input-output specifications POPL 2013
- Compositional dynamic test generation POPL 2007
- Verifying Timed Behavior Automata with Input/Output Critical Races CAV 1993
- Safe nondeterminism in a deterministic-by-default parallel language POPL 2011
- Wire sorts: a language abstraction for safe hardware composition PLDI 2021
- Modular set-based analysis from contracts POPL 2006