Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).
Henning GüntherAlfons LaarmanGeorg WeissenbacherPublished in: TACAS (2016)
Keyphrases
- software tools
- software platform
- software systems
- software package
- software design
- graphical display
- software application
- analysis tool
- software architecture
- software development
- model checking
- integrated circuit
- source code
- case study
- high end
- hardware designs
- parallel processing
- programming tool
- verification method
- open source
- user interface
- graphical user interface
- information systems
- search based software testing
- formal methods
- software quality
- parallel computing
- software maintenance
- user friendly
- computer systems