Similar Items: Symbolic string execution
- Extended probabilistic symbolic execution
- The use of temporal context in the generation of strings
- Relations and programs
- Oriented 123-TQFTs via String-Nets and State-Sums
- Kernel support for embedded reactive systems
- Formal specification and verification of safety interlock systems: A comparative case study