APTS

Program synthesis from formal requirements specifications using APTS

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Carvalho, Gustavo; Cavalcanti, Ana; Sampaio, Augusto: Modelling timed reactive systems from natural-language requirements (2016)
  2. Bunder, M.W.; Dekkers, W.J.M.: Equivalences between pure type systems and systems of illative combinatory logic (2005)
  3. Sheu, Jiuh-Biing: A fuzzy clustering approach to real-time demand-responsive bus dispatching control (2005)
  4. Leonard, Elizabeth I.; Heitmeyer, Constance L.: Program synthesis from formal requirements specifications using APTS (2003)