Presentation of the 9th Edition of the Model Checking Contest-Reference-Cited by-同舟云学术

Presentation of the 9th Edition of the Model Checking Contest

Published:2019 Issue: Volume: Page:50-68
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Amparore Elvio,Berthomieu Bernard,Ciardo Gianfranco,Dal Zilio Silvano,Gallà Francesco,Hillah Lom Messan,Hulin-Hubard Francis,Jensen Peter Gjøl,Jezequel Loïg,Kordon Fabrice,Le Botlan Didier,Liebke Torsten,Meijer Jeroen,Miner Andrew,Paviot-Adet Emmanuel,Srba Jiří,Thierry-Mieg Yann,van Dijk Tom,Wolf Karsten

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17502-3_4

Reference37 articles.

1. Aloul, F.A., Markov, I.L., Sakallah, K.A.: FORCE: a fast and easy-to-implement variable-ordering heuristic. In: ACM Great Lakes Symposium on VLSI, pp. 116–119. ACM (2003)

2. Lecture Notes in Computer Science;EG Amparore,2014

3. Springer Series in Reliability Engineering;EG Amparore,2016

4. Lecture Notes in Computer Science;EG Amparore,2019

5. Lecture Notes in Computer Science;EG Amparore,2018

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. libmg: A Python library for programming graph neural networks in μG;Science of Computer Programming;2024-12

2. Transpilation of Petri-nets into B;Lecture Notes in Computer Science;2024

3. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

4. Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks;Formal Techniques for Distributed Objects, Components, and Systems;2023

5. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets;Formal Methods;2023