• Line-up

  • Referenced in 9 articles [sw18417]
  • then checking if each its concurrent behavior is equivalent to some sequential behavior. We develop...
  • SymDiff

  • Referenced in 17 articles [sw13093]
  • language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs...
  • MMT

  • Referenced in 49 articles [sw07136]
  • This ”logics-as-theories” approach makes system behaviors as well as their represented knowledge interoperable ... logic-independent notions of well-formedness and equivalence of modular mathematical theories. Thus, it provides...
  • kappalab

  • Referenced in 53 articles [sw06086]
  • analysis of capacities in terms of decision behavior can be performed through the computation ... known Moebius transform, as well as other equivalent representations of set functions can also...
  • LTSA-WS

  • Referenced in 14 articles [sw10585]
  • required behavior. BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification ... eased through the understanding of the behavior exhibited by the composition. The approach is implemented...
  • BMaude

  • Referenced in 2 articles [sw10135]
  • coalgebraic specifications be integrated? How can behavioral equivalence be addressed in an algebraic specification language...
  • MATISSE

  • Referenced in 27 articles [sw06311]
  • Contrary to the usual notions of system equivalence and refinement based on language inclusion ... approximate bisimulation relations do not require the behavior of a system and its abstraction...
  • Sigma*

  • Referenced in 12 articles [sw21731]
  • guided abstraction refinement to over-approximate program behavior, Sigma* transforms arbitrary source representation of programs ... composed and equivalence checked. Thus, Sigma* enables fully automatic analysis of behavioral properties such...
  • BinSim

  • Referenced in 1 article [sw31767]
  • binary diffing via system call sliced segment equivalence checking. Detecting differences between two binary executables ... Existing ways rely on either comparing runtime behaviors or modeling code snippet semantics with symbolic ... paper, we propose system call sliced segment equivalence checking, a hybrid method to identify fine ... inferring whether two executable binaries’ behaviors are conditionally equivalent; 2) detecting the similarities or differences...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • applied to the verification of PLC programs. Equivalence checking and property checking are applied ... engineer to manually debug the faulty behavior. Again, the computational overhead is moderate. For more...
  • MBESS

  • Referenced in 7 articles [sw25841]
  • developed for or used within the behavioral, educational, and social sciences (broadly defined). That being ... accuracy in parameter estimation [AIPE], power analytic, equivalence, and minimum-risk point estimation perspectives), mediation ... originally an acronym for ’Methods for the Behavioral, Educational, and Social Sciences,’ but at this...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • able to extract both architecture and behavior information from SystemC code, with very few limitations ... from http://greensocs.sourceforge.net/pinapa/. There exists no equivalent tool for SystemC...
  • SPeeDI

  • Referenced in 8 articles [sw00896]
  • important problem in the anajysis of the behavior of hybrid systems is reachability ... space into classes of states which are equivalent with respect to reachability. This...
  • LAFTER

  • Referenced in 2 articles [sw20759]
  • mouth expressions using only a PC or equivalent computer. The system is based ... level image properties. Patterns of behavior (e.g., facial expressions and head movements) can be classified...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • technique LOTOS, LOEWE additionally offers multiple, semantically equivalent representations of a given protocol specification. Each ... compiler to generate C code from LOTOS behavior expressions, a translator of LOTOS abstract data...
  • Simbody

  • Referenced in 3 articles [sw12963]
  • engineering simulation software to investigate the mechanical behavior of diverse biological mechanisms, ranging from biomolecules ... Mobilizers support nonlinear mappings that are mathematically equivalent to constraint manifolds but have the advantages...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ASYMPT

  • Referenced in 10 articles [sw00053]
  • A FORTRAN program is presented which calculates asymptotics...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...