Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France
1
0
1
3
A groundbreaking verification method allows for the analysis of real-time systems with unbounded agents and infinite states, ensuring soundness without limiting the number of processes involved.