CNRS
OrganizationCNRS is identified in the provided evidence as an institutional affiliation in Orsay, France, associated with authors of a 2013 technical paper on formal, model-based test-program generation for microprocessors.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
CNRS is mentioned in the evidence as an institutional affiliation located in Orsay, F-91405, France. In the cited publication, CNRS appears alongside Univ. Paris-Sud and Laboratoire LRI, UMR8623 in the affiliation block for Abderrahmane Feliachi, Yakoub Nemouchi, and Burkhart Wolff.[1]
Associated technical publication
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsAbderrahmane Feliachi is affiliated with CNRS.
CITATIONS
5 sources5 citations — click to expand
[1] CNRS is listed as an institutional affiliation in Orsay, F-91405, France, for Abderrahmane Feliachi, Yakoub Nemouchi, and Burkhart Wolff. Test Program Generation for a Microprocessor: A Case Study
[2] The cited paper presents a case study using a formal model of a microprocessor to generate test programs validating implementation of the specified instruction set. Test Program Generation for a Microprocessor: A Case Study
[3] The case study used an existing Isabelle/HOL model and HOL-TestGen, a model-based testing environment extending Isabelle/HOL. Test Program Generation for a Microprocessor: A Case Study
[4] The paper states that EAL 7 requires formal verification of specification properties and thorough implementation testing, including testing of the hardware platform. Test Program Generation for a Microprocessor: A Case Study
[5] The paper developed conformance test scenarios where processor models synthesized test programs run against real hardware in the loop. Test Program Generation for a Microprocessor: A Case Study