Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

Source URL: rjoshi.org

• Arithmetic
• Interval
• Bracket

Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Computing
• Models of computation
• Software engineering
• Control engineering
• Cognition
• State
• Control theory
• Lookup table
• Variable
• Dependent and independent variables

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Source URL: www.prismmodelchecker.org

• Mathematics
• Temporal logic
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Mathematical logic
• Formal languages
• Computation tree logic
• Constructible universe
• Markov decision process
• Well-formed formula
• IP

Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Source URL: publish.illinois.edu

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Temporal logic
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Mathematical logic
• Formal languages
• Computation tree logic
• Constructible universe
• Markov decision process
• Well-formed formula
• IP

Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

Source URL: people.rennes.inria.fr

The Slave Trade: The Formal Demography of a Global System Patrick Manning Social Science History, Vol. 14, No. 2. (Summer, 1990), ppStable URL: http://links.jstor.org/sici?sici=%%2914%3A2%3C25

Source URL: www.manning.pitt.edu

Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri

Source URL: www.prismmodelchecker.org

• Systems science
• Systems engineering
• Software engineering
• Formal methods
• Systems theory
• Theoretical computer science
• Model checkers
• Software quality
• Model checking
• PRISM model checker
• Reliability engineering
• Formal verification

Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

Source URL: ceres.hh.se