| CARVIEW |
Select Language
HTTP/2 200
last-modified: Sun, 03 Aug 2025 07:17:19 GMT
etag: "4232-63b70c818de01"
accept-ranges: bytes
content-length: 16946
content-type: text/html
date: Sat, 17 Jan 2026 01:09:54 GMT
server: Apache/2.4.66 (Unix)
Models for Formal Analysis of Real Systems (MARS)
Models for Formal Analysis of Real Systems
(MARS)
photograph courtesy NASA
Repository
The models presented during the MARS workshops are made available
in a perennial form, so that they can be used by others and that
the experiments are reproducible. The list of models is expected to
grow as time passes, and to be as diverse as possible. The repository
of models is hosted by Inria (France).
All models are licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
List of all models
All models are licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
© 2015–2025 last Update Aug 3, 2025.