Verification of software changes with ExpliSAT.
Hana ChocklerSitvanit RuahPublished in: HotSWUp (2012)
Keyphrases
- software tools
- user interface
- software development
- embedded systems
- software projects
- software platform
- software package
- data processing
- software systems
- model checking
- software architecture
- formal methods
- hardware designs
- commercial software
- software application
- hardware design
- software testing
- software developers
- source code