| CARVIEW |
Select Language
HTTP/2 301
server: nginx/1.24.0 (Ubuntu)
date: Sat, 17 Jan 2026 12:29:06 GMT
content-type: text/html; charset=iso-8859-1
content-length: 240
location: https://fm.fbk.eu/projects/amass/
strict-transport-security: max-age=31536000; includeSubDomains
HTTP/1.1 301 Moved Permanently
Server: nginx/1.24.0 (Ubuntu)
Date: Sat, 17 Jan 2026 12:29:07 GMT
Content-Type: text/html
Content-Length: 178
Connection: keep-alive
Location: https://fm.fbk.eu/projects/amass/
HTTP/2 200
server: nginx/1.24.0 (Ubuntu)
date: Sat, 17 Jan 2026 12:29:07 GMT
content-type: text/html
content-length: 2394
last-modified: Wed, 07 Jan 2026 16:11:17 GMT
etag: "2084-647ce8acb95d7-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
strict-transport-security: max-age=31536000; includeSubDomains
AMASS | Formal Methods for Systems and Software Design Unit
AMASS
AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) will create and consolidate the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of Cyber-Physical Systems (CPS) in the largest industrial vertical markets including automotive, railway, aerospace, space, energy.
General Info
Start Date: 1 Apr 2016
End Date: 31 Mar 2019
Website
Recent Posts
-
New project with RFI: ACC3-OPERA
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics