10times
7th EditionConference

ABZ International Conference on Rigorous State Based Methods

25 - 29 May 2020Postponed 
Ulm University, Ulm, Germany
AboutFollowersExhibitorsSpeakersReviewsPhotosTravel Deals

ABZ International Conference on Rigorous State-Based Methods is dedicated to the cross-fertilization of state-based and machine-based formal methods, like abstract state machines, alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods. The main aim of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modelling, experimental validation, mathematical verification of reliable high-quality hardware-software systems.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Estimated Turnout

upto 100
Delegates
Based on previous editions

Category & Type

Conference
IT & Technology

Editions

May 2020 7th Edition


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Follow Company

Ulm University

19 Total Events / 1 Upcoming Event

Write a Review

Add Your Review
48.4222319.955582

Venue Map & Directions

map of Ulm University

Helmholtzstrase 16, 89081 Ulm
Germany

Get Directions

Featured Hotels in Ulm