- Tutorial on “The TLA+ Language and Tools for Specifying and Verifying Systems” – Stephan Merz, INRIA, France
- Tutorial on “Performance and Compliance Anomaly Detection” – Gabriel Iuhasz, West University of Timisoara, Romania
| CARVIEW |
Select Language
HTTP/2 301
x-redirect-by: WordPress
location: https://synasc.ro/2023/tutorials/
content-length: 0
content-type: text/html; charset=UTF-8
date: Fri, 16 Jan 2026 03:20:50 GMT
server: Apache
HTTP/2 200
link: ; rel="alternate"; title="JSON"; type="application/json", ; rel=shortlink
vary: Accept-Encoding
content-encoding: gzip
content-length: 7815
content-type: text/html; charset=UTF-8
date: Fri, 16 Jan 2026 03:20:51 GMT
server: Apache
Tutorials | SYNASC 2023