Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010647095> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2010647095 endingPage "84" @default.
- W2010647095 startingPage "70" @default.
- W2010647095 abstract "Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into constructing it automatically. Classical algorithmic synthesis theory provides interesting algorithms but also alarming high complexity and undecidability results. The use of genetic programming, in combination with model checking and testing, provides a powerful heuristic to synthesize programs. The method is not completely automatic, as it is fine tuned by a user that sets up the specification and parameters. It also does not guarantee to always succeed and converge towards a solution that satisfies all the required properties. However, we applied it successfully on quite nontrivial examples and managed to find solutions to hard programming challenges, as well as to improve and to correct code. We describe here several versions of our method for synthesizing sequential and concurrent systems." @default.
- W2010647095 created "2016-06-24" @default.
- W2010647095 creator A5061223044 @default.
- W2010647095 creator A5074847218 @default.
- W2010647095 date "2014-02-23" @default.
- W2010647095 modified "2023-10-11" @default.
- W2010647095 title "Synthesis of Parametric Programs using Genetic Programming and Model Checking" @default.
- W2010647095 cites W1480909796 @default.
- W2010647095 cites W1497802612 @default.
- W2010647095 cites W1515382807 @default.
- W2010647095 cites W1515835710 @default.
- W2010647095 cites W1536606616 @default.
- W2010647095 cites W1539457702 @default.
- W2010647095 cites W1552798917 @default.
- W2010647095 cites W1585803290 @default.
- W2010647095 cites W1783469492 @default.
- W2010647095 cites W1971153585 @default.
- W2010647095 cites W2015956262 @default.
- W2010647095 cites W2016206563 @default.
- W2010647095 cites W2034343921 @default.
- W2010647095 cites W2051054731 @default.
- W2010647095 cites W2053878545 @default.
- W2010647095 cites W2102108943 @default.
- W2010647095 cites W2147269402 @default.
- W2010647095 cites W2152389572 @default.
- W2010647095 cites W4242364663 @default.
- W2010647095 cites W4294549613 @default.
- W2010647095 doi "https://doi.org/10.4204/eptcs.140.5" @default.
- W2010647095 hasPublicationYear "2014" @default.
- W2010647095 type Work @default.
- W2010647095 sameAs 2010647095 @default.
- W2010647095 citedByCount "5" @default.
- W2010647095 countsByYear W20106470952017 @default.
- W2010647095 countsByYear W20106470952018 @default.
- W2010647095 countsByYear W20106470952020 @default.
- W2010647095 crossrefType "journal-article" @default.
- W2010647095 hasAuthorship W2010647095A5061223044 @default.
- W2010647095 hasAuthorship W2010647095A5074847218 @default.
- W2010647095 hasBestOaLocation W20106470951 @default.
- W2010647095 hasConcept C105795698 @default.
- W2010647095 hasConcept C110251889 @default.
- W2010647095 hasConcept C110332635 @default.
- W2010647095 hasConcept C117251300 @default.
- W2010647095 hasConcept C154945302 @default.
- W2010647095 hasConcept C173801870 @default.
- W2010647095 hasConcept C199360897 @default.
- W2010647095 hasConcept C33923547 @default.
- W2010647095 hasConcept C41008148 @default.
- W2010647095 hasConcept C75606506 @default.
- W2010647095 hasConcept C80444323 @default.
- W2010647095 hasConceptScore W2010647095C105795698 @default.
- W2010647095 hasConceptScore W2010647095C110251889 @default.
- W2010647095 hasConceptScore W2010647095C110332635 @default.
- W2010647095 hasConceptScore W2010647095C117251300 @default.
- W2010647095 hasConceptScore W2010647095C154945302 @default.
- W2010647095 hasConceptScore W2010647095C173801870 @default.
- W2010647095 hasConceptScore W2010647095C199360897 @default.
- W2010647095 hasConceptScore W2010647095C33923547 @default.
- W2010647095 hasConceptScore W2010647095C41008148 @default.
- W2010647095 hasConceptScore W2010647095C75606506 @default.
- W2010647095 hasConceptScore W2010647095C80444323 @default.
- W2010647095 hasLocation W20106470951 @default.
- W2010647095 hasLocation W20106470952 @default.
- W2010647095 hasLocation W20106470953 @default.
- W2010647095 hasOpenAccess W2010647095 @default.
- W2010647095 hasPrimaryLocation W20106470951 @default.
- W2010647095 hasRelatedWork W1492159729 @default.
- W2010647095 hasRelatedWork W1535172341 @default.
- W2010647095 hasRelatedWork W1601757209 @default.
- W2010647095 hasRelatedWork W1985198438 @default.
- W2010647095 hasRelatedWork W2117798332 @default.
- W2010647095 hasRelatedWork W2151898527 @default.
- W2010647095 hasRelatedWork W2370841479 @default.
- W2010647095 hasRelatedWork W4213079124 @default.
- W2010647095 hasRelatedWork W47563837 @default.
- W2010647095 hasRelatedWork W2525832149 @default.
- W2010647095 hasVolume "140" @default.
- W2010647095 isParatext "false" @default.
- W2010647095 isRetracted "false" @default.
- W2010647095 magId "2010647095" @default.
- W2010647095 workType "article" @default.