Crossmark

Extending nuXmv with Timed Transition Systems and Timed Temporal Properties

Crossref DOI link: https://doi.org/10.1007/978-3-030-25540-4_21

Published Online: 2019-07-12

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cimatti, Alessandro

Griggio, Alberto

Magnago, Enrico

Roveri, Marco

Tonetta, Stefano
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 12 July 2019

Conference Information

Conference Acronym: CAV

Conference Name: International Conference on Computer Aided Verification

Conference City: New York City, NY

Conference Country: USA

Conference Year: 2019

Conference Start Date: 15 July 2019

Conference End Date: 18 July 2019

Conference Number: 31

Conference ID: cav0

Conference URL: http://i-cav.org/2019/

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 258

Number of Full Papers Accepted: 67

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 26% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 9

External Reviewers Involved: No