Event:CAV 2021

Deadlines

2021-04-19

2021-01-28

2021-01-28

28 Jan 2021

Submission

28 Jan 2021

Paper

19 Apr 2021

Notification

Venue

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}

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