ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

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

Date2018-10-30 - 2018-11-13

Deadline2018-03-31

VenueRoyal Apollonia Beach Hotel, Limassol, Cyprus Cyprus

KeywordsISOLA; STRESS; PERS

Websitehttps://www.isola-conference.org/isola20...

Topics/Call fo Papers

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

Last modified: 2017-12-21 23:27:19