• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 413 matches

• 2025
• 
  Gina Belmonte, Vincenzo Ciancia, Mieke Massink:
  Symbolic and hybrid AI for brain tissue segmentation using spatial model checking. Artif. Intell. Medicine 167: 103154 (2025)
• 
  Mathis Niehage, Anne Remke:
  Symbolic state-space exploration meets statistical model checking. Perform. Evaluation 167: 102449 (2025)
• 
  Lukas Zech:
  Symbolic Model Checking in the Modular State Space Using Binary Decision Diagrams. Petri Nets 2025: 478-500
• 
  Steffan Christ Sølvsten, Jaco van de Pol:
  Symbolic Model Checking in External Memory. CoRR abs/2505.11229 (2025)
• 2024
• 
  Sergio Mover:
  Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems. Polytechnic Institute of Paris, Palaiseau, France, 2024
• 
  Damien Morard:
  Global Symbolic Model Checking based on Generalised Intervals. University of Geneva, Switzerland, 2024
• 
  Canh Minh Do, Kazuhiro Ogata:
  Symbolic model checking quantum circuits in Maude. PeerJ Comput. Sci. 10: e2098 (2024)
• 
  Damien Morard, Lucas Donati, Didier Buchs:
  Symbolic Model Checking Using Intervals of Vectors. Petri Nets 2024: 269-290
• 
  Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
  Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. ATVA (2) 2024: 212-233
• 
  Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
  SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) 2024: 387-408
• 
  Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma:
  LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference. ASE 2024: 406-417
• 
  Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
  MoXI: An Intermediate Language for Symbolic Model Checking. SPIN 2024: 26-46
• 
  Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
  SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR abs/2405.11327 (2024)
• 2023
• 
  Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
  Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD 2023: 1
• 
  Ryugo Tanaka, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto:
  Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. GCCE 2023: 881-884
• 
  Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni:
  Symbolic Model Checking of Relative Safety LTL Properties. iFM 2023: 302-320
• 
  Canh Minh Do, Kazuhiro Ogata:
  Symbolic Model Checking Quantum Circuits in Maude. SEKE 2023: 103-108
• 
  Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
  Symbolic Model Checking for TLA+ Made Faster. TACAS (1) 2023: 126-144
• 
  Cole Vick, Kenneth L. McMillan:
  Synthesizing History and Prophecy Variables for Symbolic Model Checking. VMCAI 2023: 320-340
• 
  Daniel Miedema, Malvin Gattinger:
  Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. TARK 2023: 407-420
• 2022
• 
  Isamu Hasegawa, Tomoyuki Yokogawa:
  Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking. IEICE Trans. Inf. Syst. 105-D(1): 78-91 (2022)
• 
  Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel:
  CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. ASE 2022: 156:1-156:5
• 2021
• 
  Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang:
  Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. IEEE Access 9: 14836-14848 (2021)
• 
  Yann Thierry-Mieg:
  Symbolic and Structural Model-Checking. Fundam. Informaticae 183(3-4): 319-342 (2021)
• 
  Jingjing Zhang, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang:
  A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. Secur. Commun. Networks 2021: 1630223:1-1630223:12 (2021)
• 
  Biyang Wang, Eric Madelaine, Min Zhang:
  New Symbolic Model and Equivalences Checking for Open Automata. SMC 2021: 2360-2367
• 
  Isamu Hasegawa, Tomoyuki Yokogawa:
  Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking. CoRR abs/2103.11618 (2021)
• 2020
• 
  Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Masafumi Kondo, Yoichiro Sato, Kazutami Arimoto:
  Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. IEICE Trans. Inf. Syst. 103-D(3): 702-705 (2020)
• 
  Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie:
  Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28(2): 644-652 (2020)
• 
  Pengzhan Nie, Jiulei Jiang, Zhanyou Ma:
  CTL Symbolic Model Checking Based on Fuzzy Logic. DASC/PiCom/CBDCom/CyberSciTech 2020: 380-385

skipping 383 more matches