Matches in SemOpenAlex for { <https://semopenalex.org/work/W624319636> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W624319636 abstract "Automatically proving that (infinite-state) software programs satisfy a specification is an important task, but has proved very difficult. Thus, in order to obtain techniques that work with reasonable speed and without user guidance, researchers have typically targeted restricted classes of language features, programming idioms and properties. We have designed a system in which several of these specialised techniques can be used together in proving that a program is correct; this is done without breaking modularity by propagating information between the analyses, expressed as formulae of an expressive common logic. In this way, we can verify programs which, because they use diverse language features and idioms, are difficult or impossible to prove using any one individual technique. Our system is implemented in the experimental tool HECTOR." @default.
- W624319636 created "2016-06-24" @default.
- W624319636 creator A5002649980 @default.
- W624319636 creator A5065773551 @default.
- W624319636 date "2007-04-30" @default.
- W624319636 modified "2023-09-27" @default.
- W624319636 title "Cleanly combining specialised program analysers" @default.
- W624319636 cites W1830693712 @default.
- W624319636 cites W1972083926 @default.
- W624319636 cites W1991837261 @default.
- W624319636 cites W2014764321 @default.
- W624319636 cites W2150676690 @default.
- W624319636 cites W2164778826 @default.
- W624319636 hasPublicationYear "2007" @default.
- W624319636 type Work @default.
- W624319636 sameAs 624319636 @default.
- W624319636 citedByCount "0" @default.
- W624319636 crossrefType "journal-article" @default.
- W624319636 hasAuthorship W624319636A5002649980 @default.
- W624319636 hasAuthorship W624319636A5065773551 @default.
- W624319636 hasConcept C115903868 @default.
- W624319636 hasConcept C127413603 @default.
- W624319636 hasConcept C128838566 @default.
- W624319636 hasConcept C199360897 @default.
- W624319636 hasConcept C201677973 @default.
- W624319636 hasConcept C201995342 @default.
- W624319636 hasConcept C2777904410 @default.
- W624319636 hasConcept C2779478453 @default.
- W624319636 hasConcept C2780451532 @default.
- W624319636 hasConcept C41008148 @default.
- W624319636 hasConcept C48103436 @default.
- W624319636 hasConcept C54355233 @default.
- W624319636 hasConcept C80444323 @default.
- W624319636 hasConcept C86803240 @default.
- W624319636 hasConceptScore W624319636C115903868 @default.
- W624319636 hasConceptScore W624319636C127413603 @default.
- W624319636 hasConceptScore W624319636C128838566 @default.
- W624319636 hasConceptScore W624319636C199360897 @default.
- W624319636 hasConceptScore W624319636C201677973 @default.
- W624319636 hasConceptScore W624319636C201995342 @default.
- W624319636 hasConceptScore W624319636C2777904410 @default.
- W624319636 hasConceptScore W624319636C2779478453 @default.
- W624319636 hasConceptScore W624319636C2780451532 @default.
- W624319636 hasConceptScore W624319636C41008148 @default.
- W624319636 hasConceptScore W624319636C48103436 @default.
- W624319636 hasConceptScore W624319636C54355233 @default.
- W624319636 hasConceptScore W624319636C80444323 @default.
- W624319636 hasConceptScore W624319636C86803240 @default.
- W624319636 hasLocation W6243196361 @default.
- W624319636 hasOpenAccess W624319636 @default.
- W624319636 hasPrimaryLocation W6243196361 @default.
- W624319636 isParatext "false" @default.
- W624319636 isRetracted "false" @default.
- W624319636 magId "624319636" @default.
- W624319636 workType "article" @default.