$\{log\}$: Applications to Software Specification, Prototyping and Verification.
Maximiliano CristiáGianfranco RossiPublished in: CoRR (2021)
Keyphrases
- formal verification
- formal methods
- development process
- software development
- model checking
- software systems
- code generation
- user interface
- high level
- software architecture
- tool suite
- specification language
- hardware designs
- reactive systems
- asynchronous circuits
- formal specification
- software maintenance
- software developers
- personal computer
- computer systems
- software design
- hardware design
- verification method
- software components