Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573022308> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1573022308 abstract "Theorem proving and model checking are two well-known formal methods emerging recently for software verification. Each of them has its own advantages and disadvantages. As an attempt to combine the verification capabilities of these two methods, in this paper we introduce a verification tool known as COMBINE (Combined fOrmal Methods for BINdingly vErification). Suggested by its name, COMBINE can verify imperative programs in a bindingly manner comprising of two phases: static verification and dynamic verification. In fact, COMBINE has been developed as a published Web-based system currently being used for teaching programming for students at Hochiminh City University of Technology (HCMUT), Vietnam." @default.
- W1573022308 created "2016-06-24" @default.
- W1573022308 creator A5010595116 @default.
- W1573022308 creator A5013364109 @default.
- W1573022308 creator A5034194147 @default.
- W1573022308 creator A5056767671 @default.
- W1573022308 date "2010-01-01" @default.
- W1573022308 modified "2023-09-24" @default.
- W1573022308 title "COMBINE: A Tool on Combined Formal Methods for Bindingly Verification" @default.
- W1573022308 cites W1515421996 @default.
- W1573022308 cites W1590315663 @default.
- W1573022308 cites W2077456871 @default.
- W1573022308 cites W2107089133 @default.
- W1573022308 cites W3019119050 @default.
- W1573022308 cites W3021187112 @default.
- W1573022308 cites W4242126179 @default.
- W1573022308 cites W4252150051 @default.
- W1573022308 cites W4296471858 @default.
- W1573022308 doi "https://doi.org/10.1007/978-3-642-15643-4_32" @default.
- W1573022308 hasPublicationYear "2010" @default.
- W1573022308 type Work @default.
- W1573022308 sameAs 1573022308 @default.
- W1573022308 citedByCount "1" @default.
- W1573022308 countsByYear W15730223082013 @default.
- W1573022308 crossrefType "book-chapter" @default.
- W1573022308 hasAuthorship W1573022308A5010595116 @default.
- W1573022308 hasAuthorship W1573022308A5013364109 @default.
- W1573022308 hasAuthorship W1573022308A5034194147 @default.
- W1573022308 hasAuthorship W1573022308A5056767671 @default.
- W1573022308 hasConcept C105795698 @default.
- W1573022308 hasConcept C110251889 @default.
- W1573022308 hasConcept C111498074 @default.
- W1573022308 hasConcept C115903868 @default.
- W1573022308 hasConcept C142284323 @default.
- W1573022308 hasConcept C186846655 @default.
- W1573022308 hasConcept C187250869 @default.
- W1573022308 hasConcept C199360897 @default.
- W1573022308 hasConcept C202973057 @default.
- W1573022308 hasConcept C206880738 @default.
- W1573022308 hasConcept C2777904410 @default.
- W1573022308 hasConcept C33054407 @default.
- W1573022308 hasConcept C33923547 @default.
- W1573022308 hasConcept C3406870 @default.
- W1573022308 hasConcept C41008148 @default.
- W1573022308 hasConcept C48002344 @default.
- W1573022308 hasConcept C529173508 @default.
- W1573022308 hasConcept C62460635 @default.
- W1573022308 hasConcept C75606506 @default.
- W1573022308 hasConceptScore W1573022308C105795698 @default.
- W1573022308 hasConceptScore W1573022308C110251889 @default.
- W1573022308 hasConceptScore W1573022308C111498074 @default.
- W1573022308 hasConceptScore W1573022308C115903868 @default.
- W1573022308 hasConceptScore W1573022308C142284323 @default.
- W1573022308 hasConceptScore W1573022308C186846655 @default.
- W1573022308 hasConceptScore W1573022308C187250869 @default.
- W1573022308 hasConceptScore W1573022308C199360897 @default.
- W1573022308 hasConceptScore W1573022308C202973057 @default.
- W1573022308 hasConceptScore W1573022308C206880738 @default.
- W1573022308 hasConceptScore W1573022308C2777904410 @default.
- W1573022308 hasConceptScore W1573022308C33054407 @default.
- W1573022308 hasConceptScore W1573022308C33923547 @default.
- W1573022308 hasConceptScore W1573022308C3406870 @default.
- W1573022308 hasConceptScore W1573022308C41008148 @default.
- W1573022308 hasConceptScore W1573022308C48002344 @default.
- W1573022308 hasConceptScore W1573022308C529173508 @default.
- W1573022308 hasConceptScore W1573022308C62460635 @default.
- W1573022308 hasConceptScore W1573022308C75606506 @default.
- W1573022308 hasLocation W15730223081 @default.
- W1573022308 hasOpenAccess W1573022308 @default.
- W1573022308 hasPrimaryLocation W15730223081 @default.
- W1573022308 hasRelatedWork W1512146121 @default.
- W1573022308 hasRelatedWork W1836717328 @default.
- W1573022308 hasRelatedWork W1966314255 @default.
- W1573022308 hasRelatedWork W2006962382 @default.
- W1573022308 hasRelatedWork W2066685587 @default.
- W1573022308 hasRelatedWork W2096455207 @default.
- W1573022308 hasRelatedWork W2099941001 @default.
- W1573022308 hasRelatedWork W2105593427 @default.
- W1573022308 hasRelatedWork W2130372530 @default.
- W1573022308 hasRelatedWork W2144950612 @default.
- W1573022308 hasRelatedWork W2169895769 @default.
- W1573022308 hasRelatedWork W2212093233 @default.
- W1573022308 hasRelatedWork W2550448639 @default.
- W1573022308 hasRelatedWork W2611035055 @default.
- W1573022308 hasRelatedWork W2745949103 @default.
- W1573022308 hasRelatedWork W2899944714 @default.
- W1573022308 hasRelatedWork W294391505 @default.
- W1573022308 hasRelatedWork W3006023511 @default.
- W1573022308 hasRelatedWork W565232785 @default.
- W1573022308 hasRelatedWork W2293517994 @default.
- W1573022308 isParatext "false" @default.
- W1573022308 isRetracted "false" @default.
- W1573022308 magId "1573022308" @default.
- W1573022308 workType "book-chapter" @default.