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

• 2018
• 
  Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
  Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10795, Springer 2018, ISBN 978-3-319-90103-9 [contents]
• 2017
• 
  Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata:
  A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler. SOFL+MSVL 2017: 200-217
• 
  Zhouxian Jiang, Honghui Li, Xuetao Tian:
  An Improved Reliability Testing Model Based on SOFL. SOFL+MSVL 2017: 123-132
• 
  Siyuan Li, Shaoying Liu:
  A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. SOFL+MSVL 2017: 187-199
• 
  Chin-Fu Lin, Ondrej Navrátil, Sheng-Lung Peng:
  On the Cooperative Graph Searching Problem. SOFL+MSVL 2017: 39-47
• 
  Fumiko Nagoya, Shaoying Liu:
  An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. SOFL+MSVL 2017: 24-35
• 
  Tam Thi Thanh Nguyen, Kazuhiro Ogata:
  Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them. SOFL+MSVL 2017: 3-23
• 
  Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang:
  Foundation of a Framework to Support Compliance Checking in Construction Industry. SOFL+MSVL 2017: 111-122
• 
  Xinfeng Shu, Mengnan Wang, Xiaobing Wang:
  Extending UML for Model Checking. SOFL+MSVL 2017: 88-107
• 
  Xiuting Tao, Guoqiang Li:
  The Complexity of Linear-Time Temporal Logic Model Repair. SOFL+MSVL 2017: 69-87
• 
  Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu:
  A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. SOFL+MSVL 2017: 133-147
• 
  Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu:
  Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. SOFL+MSVL 2017: 51-68
• 
  Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui:
  Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167
• 
  Pan Zhao, Shaoying Liu:
  A Software Tool to Support the "Vibration" Method. SOFL+MSVL 2017: 171-186