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

• 2020
• 
  Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova:
  Flexible Formality Practical Experience with Agile Formal Methods. TFP 2020: 94-120
• 2019
• 
  Karthikeyan Bhargavan, Prasad Naldurg:
  Practical Formal Methods for Real World Cryptography (Invited Talk). FSTTCS 2019: 1:1-1:12
• 2015
• 
  Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
  Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46(3): 197-225 (2015)
• 
  Pierre Roux, Pierre-Loïc Garoche:
  Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Formal Methods Syst. Des. 46(2): 163-196 (2015)
• 2014
• 
  Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky:
  Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe 2014: 177-192
• 
  Wolfgang Kunz, Dominik Stoffel, Joakim Urdahl:
  T4B: Formal verification in system-on-chip design: Scientific foundations and practical methodology. SoCC 2014: xlv-xlvi
• 2013
• 
  Azer Bestavros, Assaf J. Kfoury:
  Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems. Math. Struct. Comput. Sci. 23(4): 675 (2013)
• 
  Michael J. Butler, Issam Maamria:
  Practical Theory Extension in Event-B. Theories of Programming and Formal Methods 2013: 67-81
• 2012
• 
  Mario Tokoro:
  Toward Practical Application of Formal Methods in Software Lifecycle Processes. ICFEM 2012: 1
• 2011
• 
  Michael Fisher:
  An Introduction to Practical Formal Methods Using Temporal Logic. Wiley 2011, ISBN 978-0-470-02788-2, pp. I-VI, 1-353
• 
  Isil Dillig, Thomas Dillig, Alex Aiken:
  Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods Syst. Des. 39(3): 246-260 (2011)
• 
  James J. Hunt:
  The Practical Application of Formal Methods: Where Is the Benefit for Industry? FoVeOOS 2011: 22-32
• 2010
• 
  Ganesh Gopalakrishnan, Robert M. Kirby:
  Top ten ways to make formal methods for HPC practical. FoSER 2010: 137-142
• 
  Jedrzej Fulara, Krzysztof Jakubczyk:
  Practically Applicable Formal Methods. SOFSEM 2010: 407-418
• 2008
• 
  Jin Sun Her, Hyun Jung La, Soo Dong Kim:
  A Formal Approach to Devising a Practical Method for Modeling Reusable Services. ICEBE 2008: 221-228
• 
  César Andrés, Rafael G. Aranda, Manuel Núñez:
  Using formal methods to develop a complex information system: a practical/theoretical experience. SAC 2008: 848-849
• 2006
• 
  Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
  Dealing with practical limitations of distributed timed model checking for timed automata. Formal Methods Syst. Des. 29(2): 197-214 (2006)
• 2005
• 
  Cameron Maxwell, Artem Parakhine, John Leaney:
  Practical Application of Formal Methods for Specification and Analysis of Software Architecture. Australian Software Engineering Conference 2005: 302-311
• 2001
• 
  Constance L. Heitmeyer:
  Applying Practical Formal Methods to the Specification and Analysis of Security Properties. MMM-ACNS 2001: 84-89
• 2000
• 
  Christian Freksa, Wilfried Brauer, Christopher Habel, Karl Friedrich Wender:
  Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications. Lecture Notes in Computer Science 1849, Springer 2000, ISBN 3-540-67584-1 [contents]
• 1999
• 
  Ed Brinksma:
  Formal Methods for Conformance Testing: Theory Can Be Practical. CAV 1999: 44-45
• 
  Michael J. Butler:
  csp2B: A Practical Approach to Combining CSP and B. World Congress on Formal Methods 1999: 490-508
• 1998
• 
  Sofiène Tahar, Ramayya Kumar:
  A Practical Methodology for the Formal Verification of RISC Processors. Formal Methods Syst. Des. 13(2): 159-225 (1998)
• 
  Constance L. Heitmeyer:
  On the Need for Practical Formal Methods. FTRTFT 1998: 18-26
• 
  Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura:
  An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114
• 1997
• 
  Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back:
  Formal Methods: A Practical Tool for OS Implementors. Workshop on Hot Topics in Operating Systems 1997: 20-25
• 
  Kinh Nguyen, Tharam S. Dillon:
  A Practical Formally-Based Modelling Method for Object Oriented Information Systems. OOIS 1997: 69-80
• 1996
• 
  Kevin Lano:
  The B language and method - a guide to practical formal development. FACIT: Formal approaches to computing and information technology, Springer 1996, ISBN 978-3-540-76033-7, pp. 1-232
• 
  Kinh Nguyen:
  Towards a Practical Formal Method for Object Oriented Modelling. APSEC 1996: 226-237
• 1995
• 
  Christoph Beierle:
  Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167

skipping 21 more matches