International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Script error: No such module "Draft topics". Script error: No such module "AfC topic".
The International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) is a bi-annual conference that has been founded by Tiziana Margaria and Bernhard Steffen in 2004.
ISoLA covers a range of different scopes. Besides model-checking and program verification, it also covers testing, automata learning, and safety-critical systems.:[1] All of these scopes are applicable to many different real-world areas such as automotive engineering, biocomputing, transportation and aviation, and much more.
The following tracks are available at ISoLA as of 2021[2]
- Engineering of Digital Twins for Cyber-Physical Systems
- Verification and Validation of Concurrent and Distributed Systems
- Modularity and (De-)composition in Verification
- Software Verification Tools
- X-by-Construction: Correctness meets Probability
- Rigorous Engineering of Collective Adaptive Systems
- Automated Verification of Embedded Control Software
- Automating Software Re-Engineering
- 30 years of Statistical Model Checking!
- From Verification to Explanation
- Formal methods for DIStributed COmputing in future RAILway systems
- Programming: What is Next?
Additionally, RERS[3] is a regular associated event.
References[edit]
External links[edit]
This article "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
