Results 121 to 130 of about 23,621 (170)
Impact of liposomal delivery on coenzyme Q10 absorption: a double-blind, placebo-controlled, randomized trial. [PDF]
Front NutrJäger R +6 more
europepmc +1 more source
Case Report: Pediatric nephrology-expanding the genotypic spectrum of <i>COQ2</i>-related nephropathy with a novel splice site variant in CoQ10-responsive SRNS. [PDF]
Front Med (Lausanne)Huang YR, Pal A, Tsai AC.
europepmc +1 more source
Nano-granulated zoledronate sensitizes innate immune metabolism to enhance vaccine-induced and antitumor immunity. [PDF]
Cell Rep MedChen M +13 more
europepmc +1 more source
Assessing Evidence-Based Practice Competence in Nurse Leadership Roles in Spain. [PDF]
J Nurs ManagSegura-López G +6 more
europepmc +1 more source
Wild Fishes as Reservoirs of Gut Bacteria Carrying Antimicrobial Resistance Encoding Genes in Chilean Bays. [PDF]
Antibiotics (Basel)Miranda CD +4 more
europepmc +1 more source
, 2000 We describe an implementation and a proof of correctness of binary decision diagrams (BDDs), completely formalized in Coq. This allows us to run BDD-based algorithms inside Coq and paves the way for a smooth integration of symbolic model checking in the Coq proof assistant by using reflection.
Kumar Neeraj Verma +3 more
core +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2001
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José Luis Freire +3 more
openaire +2 more sources
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José Luis Freire +3 more
openaire +2 more sources
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019
Mutation analysis, which introduces artificial defects into software systems, is the basis of mutation testing, a technique widely applied to evaluate and enhance the quality of test suites. However, despite the deep analogy between tests and formal proofs, mutation analysis has seldom been considered in the context of deductive verification.
Ahmet Çelik +4 more
openaire +2 more sources
Mutation analysis, which introduces artificial defects into software systems, is the basis of mutation testing, a technique widely applied to evaluate and enhance the quality of test suites. However, despite the deep analogy between tests and formal proofs, mutation analysis has seldom been considered in the context of deductive verification.
Ahmet Çelik +4 more
openaire +2 more sources