ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Track Themes and Thematic Sessions
===
*A Broader View on Verification: From Static to Runtime and Back
*Evaluating Tools for Software Verification
*Towards a Unified View of Modeling and Programming
*RV-TheToP: Runtime Verification from the Theory To the industry Practice
*Rigorous Engineering of Collective Adaptive Systems
*Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions
*Formal Methods in Industrial Practice – bridging the gap
*Science and Engineering for Distributed Ledger Systems of Future Practice
*X-by-Construction
*Statistical Model Checking