N-version programming
Applications
| ← Previous revision | Revision as of 17:15, 21 April 2026 | ||
| Line 19: | Line 19: | ||
== Applications == |
== Applications == |
||
''N''-version programming has been applied to software in switching trains, performing flight control computations on modern airliners, [[electronic voting]] (the SAVE System), and the detection of [[zero-day exploit]]s, among other uses. More recently, [[large language model]]s (LLMs) have been used to automate the generation of functionally equivalent program variants, enabling N-version assemblies with formal equivalence guarantees.{{cite journal |last1=Ron |first1=Javier |last2=Gaspar |first2=Diogo |last3=Cabrera-Arteaga |first3=Javier |last4=Baudry |first4=Benoit |last5=Monperrus |first5=Martin |title=Galápagos: Automated N-Version Programming with LLMs |journal=ACM Transactions on Software Engineering and Methodology |date=2025-12 |url=https://dl.acm.org/doi/10.1145/3785363 |doi=10.1145/3785363 |issn=1557-7392}} |
''N''-version programming has been applied to software in switching trains, performing flight control computations on modern airliners, [[electronic voting]] (the SAVE System), and the detection of [[zero-day exploit]]s, among other uses. More recently, [[large language model]]s (LLMs) have been used to automate the generation of functionally equivalent program variants, enabling N-version assemblies with formal equivalence guarantees.{{cite journal |last1=Ron |first1=Javier |last2=Gaspar |first2=Diogo |last3=Cabrera-Arteaga |first3=Javier |last4=Baudry |first4=Benoit |last5=Monperrus |first5=Martin |title=Galápagos: Automated N-Version Programming with LLMs |journal=ACM Transactions on Software Engineering and Methodology |date=2025-12-17 |url=https://dl.acm.org/doi/10.1145/3785363 |doi=10.1145/3785363 |issn=1557-7392}} |
||
== See also == |
== See also == |
||
