Verification of Liveness and Safety Properties of Behavioral Programs Using BPjS

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends
1. Verfasser:	Bar-Sinai, Michael (VerfasserIn)
Weitere Verfasser:	Weiss, Gera (VerfasserIn)
Pages:	4
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model	2021	Yue, Tao
Designing Distributed Control with Hybrid Active Objects	2021	Kamburjan, Eduard
Towards a Digital Twin - Modelling an Agricultural Vehicle	2021	Foldager, Frederik F.
From Verification to Explanation (Track Introduction)	2021	Baier, Christel
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces	2021	Kölbl, Martin
Software Verification Tools (Track Introduction)	2021	Schordan, Markus
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report	2021	Budde, Carlos E.
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins	2021	Woodcock, Jim
Engineering a Digital Twin for Manual Assembling	2021	Matei, Alexandru
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site	2021	Li, Beidi
Benchmarking Open-Source Static Analyzers for Security Testing for C	2021	Gentsch, Christoph
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjS	2021	Bar-Sinai, Michael
TraceVis: Towards Visualization for Deep Statistical Model Checking	2021	Gros, Timo P.
Engineering of Digital Twins for Cyber-Physical Systems	2021	Fitzgerald, John
Digital Modelling in the Railways	2021	Lecomte, Thierry
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees	2021	Jasper, Marc