会议文集


文集名Model Checking Software
会议名27th International Symposium on Model Checking Software (SPIN 2021)
中译名《第二十七届国际模型检验软件专题研讨会》
会议日期July 12, 2021
会议地点Online
出版年2021
馆藏号340033


题名作者出版年
The Marriage Between Safety and Cybersecurity: Still PracticingMarielle Stoelinga; Christina Kolb; Stefano M. Nicoletti; Carlos E. Budde; Ernst Moritz Hahn2021
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - Invited ContributionVincenzo Ciancia; Gina Belmonte; Diego Latella; Mieke Massink2021
Accelerating the Computation of Dead and Concurrent Places Using ReductionsNicolas Amat; Silvano Dal Zilio; Didier Le Botlan2021
Spotlight Abstraction in Model Checking Real-Time Task SchedulabilityMadoda Nxumalo; Nils Timm; Stefan Gruner2021
Verifying Pipeline Implementations in OpenMPMaik Wiesner; Marie-Christine Jakobs2021
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C ProgramsAntoine Chenoy; Fabien Duchene; Thomas Given-Wilson; Axel Legay2021
PatEC: Pattern-Based Equivalence CheckingMarie-Christine Jakobs2021
Go2Pins: A Framework for the LTL Verification of Go ProgramsAlexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault2021
Probabilistic Model Checking of Randomized Java CodeSyyeda Zainab Fatmi; Xiang Chen; Yash Dhamija; Maeve Wildes; Qiyi Tang; Franck van Breugel2021
A Model-Checked I~2C SpecificationLukas Humbel; Daniel Schwyn; Nora Hossle; Roni Haecki; Melissa Licciardello; Jan Schaer; David Cock; Michael Giardino; Timothy Roscoe2021



制造业外文文献服务平台