Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Mon, 03/06/2017 - 12:35pm
event
Submitted by Anonymous on Mon, 03/06/2017 - 12:30pm
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
The conference is co-located with 13th International Conference on integrated Formal Methods (iFM 2017). All information regarding the venue, registration and accommodation can be found on iMF 2017 website http://ifm2017.di.unito.it/.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
forum
Submitted by Anonymous on Tue, 02/21/2017 - 11:59am
CALL FOR PAPERS
July 22-23, 2017 | Heidelberg, Germany | https://vstte17.lri.fr
Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017
Important Dates
event
Submitted by Anonymous on Tue, 02/21/2017 - 11:56am
9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)
July 22-23, 2017 | Heidelberg, Germany | https://vstte17.lri.fr
Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017
event
Submitted by Anonymous on Thu, 01/26/2017 - 2:40pm
Coq Intensive
Overview
The DeepSpec Summer School on Verified Systems summer school will open with a three-day intensive course on the fundamentals of the Coq proof assistant, for participants who are new to Coq. The main lectures take place during the weeks of July 17 and 24.
- July 13-15 (Thu-Sat) Coq intensive
- July 17-21 Week 1
- July 24-28 Week 2
Lecturers and Topics
event
Submitted by Anonymous on Thu, 01/26/2017 - 2:35pm
DeepSpec Summer School on Verified Systems
Overview
Can critical systems be built with no bugs in hardware, operating systems, compilers, crypto, and other key components? It may seem a pipe dream, but the past decade has seen explosive advances in the technology required to realize it.
forum
Submitted by Anonymous on Mon, 01/23/2017 - 11:30am
forum
Submitted by Anonymous on Mon, 01/23/2017 - 11:30am
event
Submitted by Anonymous on Fri, 01/20/2017 - 12:14pm
15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017)
The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
forum
Submitted by akarns on Fri, 01/20/2017 - 11:45am
