Proceedings of the First Workshop on Fact Extraction and VERification (FEVER)

Proceedings of the Third Workshop on Fact Extraction and VERification (FEVER)

Proceedings of the Second Workshop on Fact Extraction and VERification (FEVER)

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the International Conference on integrated Formal Method…

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik…

Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop held in Austin, Texas, USA, on October 1-2, 2015. ACL2 workshop…