Abstract
This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) |
| Editors | Marieke Huisman, Jaco van de Pol |
| Place of Publication | Berlin |
| Publisher | European Association of Software Science and Technology |
| Pages | 1-3 |
| Number of pages | 3 |
| Publication status | Published - Sept 2014 |
| Event | 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014 - University of Twente, Enschede, Netherlands Duration: 24 Sept 2014 → 26 Sept 2014 Conference number: 14 |
Publication series
| Name | Electronic Communications of the EASST |
|---|---|
| Publisher | European Association of Software Science and Technology |
| Volume | 70 |
| ISSN (Print) | 1863-2122 |
| ISSN (Electronic) | 1863-2122 |
Workshop
| Workshop | 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014 |
|---|---|
| Abbreviated title | AVoCS |
| Country/Territory | Netherlands |
| City | Enschede |
| Period | 24/09/14 → 26/09/14 |
Keywords
- EWI-25474
- CR-D.2.4
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
- METIS-309759
- Automated verification
- Formal Methods
- IR-93981
- critical systems