• Z

  • Referenced in 230 articles [sw10291]
  • depth introduction to the specification language $Z$. It is primarily directed to the user ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
  • UNITY

  • Referenced in 156 articles [sw13461]
  • methodology starts with a simulation model specification in the form of a set of coupled ... transition systems first into a set of formal assertions, permitting formal verification of the transition ... prove them as theorems using the formal specification. The methodology is illustrated through generation...
  • KeY

  • Referenced in 53 articles [sw09969]
  • that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software...
  • LOTOS

  • Referenced in 138 articles [sw02961]
  • specification language that has been specifically developed for the formal description of the OSI (Open...
  • IF-2.0

  • Referenced in 41 articles [sw03303]
  • widely and naturally used both in specification formalisms like UML or programming languages like Java ... only the exploration of pure IF-1.0 specifications. This ... restrictive for complex system specifications which mix formal descriptions and executable code (e.g, for components...
  • PVS

  • Referenced in 502 articles [sw03484]
  • verification system: that is, a specification language integrated with support tools and a theorem prover ... state-of-the-art in mechanized formal methods and to be sufficiently rugged that...
  • AUSM

  • Referenced in 159 articles [sw06367]
  • Mach number limit. Specifically, we employ asymptotic analysis to formally derive proper scalings...
  • Bandera

  • Referenced in 127 articles [sw07663]
  • software requirement formalized in Bandera’s temporal specification language, and it generates a program model...
  • Daikon

  • Referenced in 34 articles [sw04319]
  • used in assert statements, documentation, and formal specifications. Examples include being constant...
  • JUnit

  • Referenced in 20 articles [sw07262]
  • unit tests easier. It uses a formal specification language’s runtime assertion checker to decide ... writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes ... specification errors are quickly discovered, so the specifications are more likely to provide useful documentation ... easily implemented with other combinations of formal specification languages and unit test tools...
  • WSAT

  • Referenced in 32 articles [sw01022]
  • services is standardized via XML, and the specification of web service itself (invocation interface ... which lack formal semantics, complicate the formal specification of web service composition. (2) Asynchronous messaging...
  • Korat

  • Referenced in 30 articles [sw07259]
  • testing of Java programs. Given a formal specification for a method, Korat uses the method...
  • MAYA

  • Referenced in 23 articles [sw03423]
  • therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors causing the change ... functionality will result in changes of the specification which always endangers the verification work already ... describe the system Maya which maintains formal developments. The Maya-system supports an evolutionary formal ... various (structured) specification languages to formalize the software development. Moreover, Maya allows the integration...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • tools can be partially generated from formal specifications and merged into the frame architecture. More...
  • TorX

  • Referenced in 16 articles [sw07155]
  • Timed testing with TorX. TorX is a specification-based, on-the-fly testing tool that ... ioco conformance of implementations w.r.t. a formal specification. This paper describes an extension of TorX ... legal according to the specification. The specifications are described by means of non-deterministic safety ... make them usable as an input formalism, a test-derivation algorithm from timed automata...
  • FoCs

  • Referenced in 16 articles [sw01591]
  • automatic generation of simulation checkers from formal specifications. For the foreseeable future, industrial hardware design ... individual advantages of simulation and formal verification...
  • Checkfence

  • Referenced in 16 articles [sw09939]
  • reorderings. CheckFence does not require formal specifications or annotations, but mines a specification directly from...
  • LBS

  • Referenced in 11 articles [sw12372]
  • language for biochemical systems: design and formal specification. This paper introduces a Language for Biochemical ... features are demonstrated through examples. A formal specification of LBS is then given through...
  • LEGO

  • Referenced in 60 articles [sw09685]
  • expressive language for formalization of mathematical problems and program specification and development...
  • UniTESK

  • Referenced in 15 articles [sw06566]
  • technology of software testing based on formal specifications. Specifications are written using specialized extensions...