… We began the Spec# project in 2003 as an attempt to build a comprehensive program-verification
system,3 hoping to build a real system real programmers could use on real programs to …

… specifications that lead to effective verification. To give them immediate benefit for any
specification they write, however partial, we included in Spec# dynamic checking of specifications. …

… To create, modify, or display a given requirements specification, the user invokes the
specification editor. As illustrated in Figure 2, the editor lists the dictionaries and tables which make …

… To support this typical robustprogramming style of .NET Framework specifications, Spec#’s
preconditions can have otherwise clauses. These can be used to tell the compiler to use a …

… of formal specification and verification by contributing the results of our analysis as well. …
To advance further program-based specification, several tools provide custom specification …

… specifications for automated program verification. It overcomes the shortcomings of …
work in specification versatility, synthesizing satisfiable and adequate specifications for full …

… easily be extended to the verification of larger industrially … specification, simulation, verification
and implementation. The first requirement for building such a set of tools is a specification …

… specification and verification to precisely describe notions such as “subtype” and “works
without problems.” Even if you are not concerned with formal specification and verification … spec…

… between specifications and implementations, as well as subjecting specifications to … devoted
to one formal specification language, we discuss four specification languages to emphasize …

… form of specifications and the ease with which they can be manipulated. … specification but
also with formal verification, we introduce the term spec$cation logic to mean a specification …