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

• 2018
• 
  Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen:
  Symbolic model checking for discrete real-time systems. Sci. China Inf. Sci. 61(5): 052106:1-052106:23 (2018)
• 2015
• 
  Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen:
  Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015: 2 (2015)
• 
  Georges Morbé, Christoph Scholl:
  Fully symbolic TCTL model checking for complete and incomplete real-time systems. Sci. Comput. Program. 111: 248-276 (2015)
• 2005
• 
  Georgios Logothetis:
  Forward symbolic model checking for real time systems. ASP-DAC 2005: 1043-1046
• 2000
• 
  Zhe Dang, Richard A. Kemmerer:
  Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. ICSE 2000: 345-354
• 1999
• 
  Y. Tachi, Satoshi Yamane:
  Real-Time Symbolic Model Checking for Hard Real-Time Systems. RTCSA 1999: 496-
• 1997
• 
  Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine:
  On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34
• 
  Satoshi Yamane, Kazuhiro Nakamura:
  Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems. TACS 1997: 562-582
• 1996
• 
  Satoshi Yamane:
  The Symbolic Model-Checking for Real-Time Systems. RTS 1996: 108-113
• 1994
• 
  Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
  Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994)
• 1993
• 
  Farn Wang, Aloysius K. Mok, E. Allen Emerson:
  Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651
• 
  Jin Yang, Aloysius K. Mok, Farn Wang:
  Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS 1993: 23-32
• 1992
• 
  Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
  Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406