Nominal Techniques for Software Specification and Verification (Invited Talk).
Maribel FernándezPublished in: FSCD (2023)
Keyphrases
- invited talk
- formal methods
- formal verification
- software development
- software systems
- asynchronous circuits
- knowledge discovery and data mining
- high level
- hardware designs
- selected papers
- source code
- computer systems
- recent advances
- model checking
- formal specification
- colored petri nets
- information retrieval
- petri net
- protocol specification
- software architecture
- tool suite
- mobile devices
- web services