• 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 515 matches

• 2022
• 
  Takeshi Tsukada, Hiroshi Unno:
  Software model-checking as cyclic-proof search. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022)
• 
  Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart:
  Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. CoRR abs/2203.16148 (2022)
• 2021
• 
  Denis Bueno:
  Software Model Checking with Uninterpreted Functions. University of Michigan, USA, 2021
• 
  Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar:
  Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174: 114572 (2021)
• 
  Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
  Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118: 100617 (2021)
• 
  Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle:
  Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51(4): 772-797 (2021)
• 
  Radu Calinescu, Colin Paterson, Kenneth Johnson:
  Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. 47(6): 1114-1133 (2021)
• 
  Yaning Zheng, Kaiqi Ru, Xuewei Feng, Dongxia Wang:
  The Overview of SPIN in Software Model Checking. DSC 2021: 654-661
• 
  Rainer Koschke, Marcel Steinbeck:
  Modeling, Visualizing, and Checking Software Architectures Collaboratively in Shared Virtual Worlds. ECSA (Companion) 2021
• 
  Jonas Klamroth, Max Scheerer, Oliver Denninger:
  Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. GI-Jahrestagung 2021: 1825-1830
• 
  Freark I. van der Berg:
  Recursive Variable-Length State Compression for Multi-core Software Model Checking. NFM 2021: 340-357
• 
  Qi Shao, Weiwei Chen, Fuping Zeng, Zhijie Gao, Zhiyu Duan, Ouya Lin:
  Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking. QRS Companion 2021: 152-160
• 
  Jan Steffen Becker:
  Model Checking Amalthea with Spin. Software Engineering (Satellite Events) 2021
• 
  Alfons Laarman, Ana Sokolova:
  Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2 [contents]
• 
  Takeshi Tsukada, Hiroshi Unno:
  Software Model-Checking as Cyclic-Proof Search. CoRR abs/2111.05617 (2021)
• 2020
• 
  Steffen Märcker:
  Model checking techniques for design and analysis of future hardware and software systems. Dresden University of Technology, Germany, 2020, pp. 1-311
• 
  Masahiro Matsubara, Tatsuhiro Tsuchiya:
  Model Checking of Automotive Control Software: An Industrial Approach. IEICE Trans. Inf. Syst. 103-D(8): 1794-1805 (2020)
• 
  Yajun Wu, Satoshi Yamane:
  Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software. IEICE Trans. Inf. Syst. 103-D(4): 800-812 (2020)
• 
  Mohammad Yasrebi, Vahid Rafe, Hamid Parvin, Samad Nejatian:
  An efficient approach to state space management in model checking of complex software systems using machine learning techniques. J. Intell. Fuzzy Syst. 38(2): 1761-1773 (2020)
• 
  Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
  IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22(2): 135-161 (2020)
• 
  Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang:
  Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(3): 714-727 (2020)
• 
  Vasileios Klimis, George Parisis, Bernhard Reus:
  Towards Model Checking Real-World Software-Defined Networks. CAV (2) 2020: 126-148
• 
  Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah:
  Model Checking Software in Cyberphysical Systems. COMPSAC 2020: 1017-1026
• 
  Vasileios Klimis, George Parisis, Bernhard Reus:
  Model Checking Software-Defined Networks with Flow Entries that Time Out. FMCAD 2020: 179-184
• 
  Yajun Wu, Hiromu Kamide, Satoshi Yamane:
  Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. GCCE 2020: 62-65
• 
  Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle:
  Code-level model checking in the software development workflow. ICSE (SEIP) 2020: 11-20
• 
  Tao Sun, Jing Yang, Wenjie Zhong:
  CPN Model Checking Method of Concurrent Software Based on State Space Pruning. TrustCom 2020: 1390-1394
• 
  Marko Kleine Büning, Carsten Sinz, David Faragó:
  QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE 2020: 21-32
• 
  Vasileios Klimis, George Parisis, Bernhard Reus:
  Towards Model Checking Real-World Software-Defined Networks. CoRR abs/2004.11988 (2020)
• 
  Freark I. van der Berg:
  Recursive Variable-Length State Compression for Multi-Core Software Model Checking. CoRR abs/2007.12174 (2020)

skipping 485 more matches