This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
A conference, workshop or journal: the thing that recurs, across all its years.
A symposium on putting formal methods to work, organised around themed tracks rather than a general call. Sessions pair short talks with long panel discussions, deliberately mixing academics with people who have to adopt these tools in industry, and the proceedings run to several volumes a year.
Part of Lecture Notes in Computer Science.
1 reference
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer