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

• 2021
• 
  Rajeev Alur, Dana Fisman:
  Colored nested words. Formal Methods Syst. Des. 58(3): 347-374 (2021)
• 
  Maurice H. ter Beek, Annabelle McIver:
  Formal methods: practical applications and foundations. Formal Methods Syst. Des. 58(1-2): 1-4 (2021)
• 
  Lennart Beringer, Andrew W. Appel:
  Abstraction and subsumption in modular verification of C programs. Formal Methods Syst. Des. 58(1-2): 322-345 (2021)
• 
  Rohit Dureja, Kristin Y. Rozier:
  Incremental design-space model checking via reusable reachable state approximations. Formal Methods Syst. Des. 58(3): 375-398 (2021)
• 
  Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
  Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58(3): 469-470 (2021)
• 
  Simon Jantsch, David Müller, Christel Baier, Joachim Klein:
  From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58(1-2): 42-82 (2021)
• 
  Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel:
  Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58(1-2): 160-187 (2021)
• 
  Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa:
  Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58(3): 440-468 (2021)
• 
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
  Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021)
• 
  Frédéric Lang, Radu Mateescu, Franco Mazzanti:
  Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58(1-2): 83-125 (2021)
• 
  Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash:
  Static analysis for detecting high-level races in RTOS kernels. Formal Methods Syst. Des. 58(1-2): 294-321 (2021)
• 
  Graeme Smith, Nicholas Coughlin, Toby Murray:
  Information-flow control on ARM and POWER multicore processors. Formal Methods Syst. Des. 58(1-2): 251-293 (2021)
• 
  Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
  Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021)
• 
  Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
  Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021)
• 
  Sahil Verma, Subhajit Roy:
  Debug-localize-repair: a symbiotic construction for heap manipulations. Formal Methods Syst. Des. 58(3): 399-439 (2021)