You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
==== 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
Save page Show preview Cancel