Software

From SEWiki

Contents 1 Spotlight 2 Nova Solver 3 Input Generation 4 Software Makefile 5 LaTeX Makefile 6 CVS Scripts

Spotlight

• Media:placeholder
• Spotlight Todo

Nova Solver

• Official
• With Specification-Derived Assertions
• With Specification-Derived Assertions And Full Coverage Test Cases

Input Generation

• Media:placeholder

Software Makefile

• Software:Code Makefile

LaTeX Makefile

• LaTeX paper makefile, version 0.20. Contains IEEE conference, and ACM conference and transactions formats.

CVS Scripts

• nocvsdiff
• cvs_add_all