FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112065304> ?p ?o ?g. }

• W2112065304 abstract "This paper proposes to define and assess the notion of quality of B models aiming at providing an automated feedback on a model by performing systematic checks on its content. We define and classify classes of automatic verification steps that help the modeller in knowing whether his model is well-written or not. This technique is defined in the context of ``behavioral models'' that describe the behavior of a system using the generalized substitutions mechanism. From these models, verification conditions are automatically computed and discharged using a dedicated tool. This technique has been adapted to the B notation, especially on B abstract machines, and implemented within a tool interfaced with a constraint solver that is able to find counter-examples to unvalid verification conditions." @default.
• W2112065304 created "2016-06-24" @default.
• W2112065304 creator A5041593548 @default.
• W2112065304 creator A5041596914 @default.
• W2112065304 creator A5088624478 @default.
• W2112065304 date "2010-09-01" @default.
• W2112065304 modified "2023-09-24" @default.
• W2112065304 title "Assessing the Quality of B Models" @default.
• W2112065304 cites W1503170978 @default.
• W2112065304 cites W1521881149 @default.
• W2112065304 cites W1529348175 @default.
• W2112065304 cites W1544621933 @default.
• W2112065304 cites W1580328473 @default.
• W2112065304 cites W1608087281 @default.
• W2112065304 cites W1819209966 @default.
• W2112065304 cites W1853368733 @default.
• W2112065304 cites W2001985931 @default.
• W2112065304 cites W2060440626 @default.
• W2112065304 cites W2099106391 @default.
• W2112065304 cites W2115309705 @default.
• W2112065304 cites W2116374913 @default.
• W2112065304 cites W2154032363 @default.
• W2112065304 doi "https://doi.org/10.1109/sefm.2010.17" @default.
• W2112065304 hasPublicationYear "2010" @default.
• W2112065304 type Work @default.
• W2112065304 sameAs 2112065304 @default.
• W2112065304 citedByCount "0" @default.
• W2112065304 crossrefType "proceedings-article" @default.
• W2112065304 hasAuthorship W2112065304A5041593548 @default.
• W2112065304 hasAuthorship W2112065304A5041596914 @default.
• W2112065304 hasAuthorship W2112065304A5088624478 @default.
• W2112065304 hasConcept C111472728 @default.
• W2112065304 hasConcept C115903868 @default.
• W2112065304 hasConcept C124101348 @default.
• W2112065304 hasConcept C127413603 @default.
• W2112065304 hasConcept C138885662 @default.
• W2112065304 hasConcept C151730666 @default.
• W2112065304 hasConcept C154945302 @default.
• W2112065304 hasConcept C169627665 @default.
• W2112065304 hasConcept C181199279 @default.
• W2112065304 hasConcept C185592680 @default.
• W2112065304 hasConcept C193153401 @default.
• W2112065304 hasConcept C199360897 @default.
• W2112065304 hasConcept C2776036281 @default.
• W2112065304 hasConcept C2778770139 @default.
• W2112065304 hasConcept C2779343474 @default.
• W2112065304 hasConcept C2779530757 @default.
• W2112065304 hasConcept C33923547 @default.
• W2112065304 hasConcept C41008148 @default.
• W2112065304 hasConcept C45357846 @default.
• W2112065304 hasConcept C55493867 @default.
• W2112065304 hasConcept C78519656 @default.
• W2112065304 hasConcept C86803240 @default.
• W2112065304 hasConcept C94375191 @default.
• W2112065304 hasConceptScore W2112065304C111472728 @default.
• W2112065304 hasConceptScore W2112065304C115903868 @default.
• W2112065304 hasConceptScore W2112065304C124101348 @default.
• W2112065304 hasConceptScore W2112065304C127413603 @default.
• W2112065304 hasConceptScore W2112065304C138885662 @default.
• W2112065304 hasConceptScore W2112065304C151730666 @default.
• W2112065304 hasConceptScore W2112065304C154945302 @default.
• W2112065304 hasConceptScore W2112065304C169627665 @default.
• W2112065304 hasConceptScore W2112065304C181199279 @default.
• W2112065304 hasConceptScore W2112065304C185592680 @default.
• W2112065304 hasConceptScore W2112065304C193153401 @default.
• W2112065304 hasConceptScore W2112065304C199360897 @default.
• W2112065304 hasConceptScore W2112065304C2776036281 @default.
• W2112065304 hasConceptScore W2112065304C2778770139 @default.
• W2112065304 hasConceptScore W2112065304C2779343474 @default.
• W2112065304 hasConceptScore W2112065304C2779530757 @default.
• W2112065304 hasConceptScore W2112065304C33923547 @default.
• W2112065304 hasConceptScore W2112065304C41008148 @default.
• W2112065304 hasConceptScore W2112065304C45357846 @default.
• W2112065304 hasConceptScore W2112065304C55493867 @default.
• W2112065304 hasConceptScore W2112065304C78519656 @default.
• W2112065304 hasConceptScore W2112065304C86803240 @default.
• W2112065304 hasConceptScore W2112065304C94375191 @default.
• W2112065304 hasLocation W21120653041 @default.
• W2112065304 hasOpenAccess W2112065304 @default.
• W2112065304 hasPrimaryLocation W21120653041 @default.
• W2112065304 hasRelatedWork W112718097 @default.
• W2112065304 hasRelatedWork W14272978 @default.
• W2112065304 hasRelatedWork W1591645440 @default.
• W2112065304 hasRelatedWork W1964231982 @default.
• W2112065304 hasRelatedWork W2124081952 @default.
• W2112065304 hasRelatedWork W2253176150 @default.
• W2112065304 hasRelatedWork W2397894504 @default.
• W2112065304 hasRelatedWork W246504368 @default.
• W2112065304 hasRelatedWork W2607211325 @default.
• W2112065304 hasRelatedWork W2798953852 @default.
• W2112065304 hasRelatedWork W2967844381 @default.
• W2112065304 hasRelatedWork W3006777288 @default.
• W2112065304 hasRelatedWork W3021006199 @default.
• W2112065304 hasRelatedWork W3144199304 @default.
• W2112065304 hasRelatedWork W3201977776 @default.
• W2112065304 hasRelatedWork W33919305 @default.
• W2112065304 hasRelatedWork W789943366 @default.
• W2112065304 hasRelatedWork W2263201845 @default.
• W2112065304 hasRelatedWork W2554879930 @default.
• W2112065304 hasRelatedWork W2990016870 @default.

• next