ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Learning-Based Framework for Automatic Parameterized Verification
2019 IEEE 37th International Conference on Computer Design (ICCD)
◽
10.1109/iccd46524.2019.00070
◽
2019
◽
Cited By ~ 1
Author(s):
Yongjian Li
◽
Jialun Cao
◽
Jun Pang
Keyword(s):
Parameterized Verification
Download Full-text
Related Documents
Cited By
References
Parameterized verification of open procedural programs
Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12
◽
10.1145/2371316.2371352
◽
2012
◽
Author(s):
Aleksandar S. Dimovski
Keyword(s):
Parameterized Verification
Download Full-text
An Automatic Proving Approach to Parameterized Verification
ACM Transactions on Computational Logic
◽
10.1145/3232164
◽
2018
◽
Vol 19
(4)
◽
pp. 1-25
◽
Cited By ~ 3
Author(s):
Yongjian Li
◽
Kaiqiang Duan
◽
David N. Jansen
◽
Jun Pang
◽
Lijun Zhang
◽
...
Keyword(s):
Parameterized Verification
Download Full-text
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-319-89963-3_3
◽
2018
◽
pp. 38-54
◽
Cited By ~ 2
Author(s):
A. R. Balasubramanian
◽
Nathalie Bertrand
◽
Nicolas Markey
Keyword(s):
Broadcast Networks
◽
Parameterized Verification
Download Full-text
Parameterized verification of algorithms for oblivious robots on a ring
2017 Formal Methods in Computer Aided Design (FMCAD)
◽
10.23919/fmcad.2017.8102262
◽
2017
◽
Cited By ~ 6
Author(s):
Arnaud Sangnier
◽
Nathalie Sznajder
◽
Maria Potop-Butucaru
◽
Sebastien Tixeuil
Keyword(s):
Parameterized Verification
Download Full-text
Going with the Flow: Parameterized Verification Using Message Flows
2008 Formal Methods in Computer-Aided Design
◽
10.1109/fmcad.2008.ecp.14
◽
2008
◽
Cited By ~ 29
Author(s):
Murali Talupur
◽
Mark R. Tuttle
Keyword(s):
Parameterized Verification
Download Full-text
Parameterized verification of monotone information systems
Formal Aspects of Computing
◽
10.1007/s00165-018-0460-8
◽
2018
◽
Vol 30
(3-4)
◽
pp. 463-489
Author(s):
Raphaël Chane-Yack-Fa
◽
Marc Frappier
◽
Amel Mammar
◽
Alain Finkel
Keyword(s):
Information Systems
◽
Parameterized Verification
Download Full-text
A unified view of parameterized verification of abstract models of broadcast communication
International Journal on Software Tools for Technology Transfer
◽
10.1007/s10009-016-0412-7
◽
2016
◽
Vol 18
(5)
◽
pp. 475-493
◽
Cited By ~ 4
Author(s):
Giorgio Delzanno
Keyword(s):
Broadcast Communication
◽
Parameterized Verification
◽
Unified View
Download Full-text
Parameterized Verification of Track Topology Aggregation Protocols
Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-38592-6_4
◽
2013
◽
pp. 35-49
◽
Cited By ~ 1
Author(s):
Sergio Feo-Arenis
◽
Bernd Westphal
Keyword(s):
Parameterized Verification
◽
Topology Aggregation
Download Full-text
Parameterized Verification of π-Calculus Systems
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/11691372_3
◽
2006
◽
pp. 42-57
◽
Cited By ~ 5
Author(s):
Ping Yang
◽
Samik Basu
◽
C. R. Ramakrishnan
Keyword(s):
Parameterized Verification
◽
Π Calculus
Download Full-text
Parameterized Verification of Asynchronous Shared-Memory Systems
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-642-39799-8_8
◽
2013
◽
pp. 124-140
◽
Cited By ~ 18
Author(s):
Javier Esparza
◽
Pierre Ganty
◽
Rupak Majumdar
Keyword(s):
Shared Memory
◽
Memory Systems
◽
Parameterized Verification
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close