The document "CAV 2021" was published on "2022-10-19T12:59:21" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:CAV 2021.
The document "CAV 2021" describes an event in the sense of a conference.
The document "CAV 2021" contains information about the event "CAV 2021" with start date "2021/07/18" and end date "2021/07/21".
The event "CAV 2021" is part of the event series identified by [[Event Series:CAV]]
Deadlines
|
||
| Submission |
|
||
| Paper |
|
||
| Notification |
Venue
Warning: Venue is missing. The map might not show the exact location.
Topics
Topics of interest include but are not limited to:
- Algorithms and tools for verifying models and implementations
- Algorithms and tools for system synthesis
- Algorithms and tools that combine verification and learning
- Mathematical and logical foundations of verification and synthesis
- Specifications and correctness criteria for programs and systems
- Deductive verification using proof assistants
- Hardware verification techniques
- Program analysis and software verification
- Software synthesis
- Hybrid systems and embedded systems verification
- Formal methods for cyber-physical systems
- Compositional and abstraction-based techniques for verification
- Probabilistic and statistical approaches to verification
- Verification methods for parallel and concurrent systems
- Testing and run-time analysis based on verification technology
- Decision procedures and solvers for verification and synthesis
- Applications and case studies in verification and synthesis
- Verification in industrial practice
- New application areas for algorithmic verification and synthesis
- Formal models and methods for security
- Formal models and methods for biological systems
