Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Software verification and validation (view)

searching for Software verification 81 found (158 total)

Test plan (1,052 words) [view diff] case mismatch in snippet view article find links to article

Testing 1012-2004 IEEE Standard for Software Verification and Validation 1012-1998 IEEE Standard for Software Verification and Validation (superseded by 1012-2004)

Dafny (1,418 words) [view diff] exact match in snippet view article find links to article

ESC/Modula-3, ESC/Java, and Spec#. Dafny is regularly featured in software verification competitions (e.g. VSTTE'08, VSCOMP'10, COST'11, and VerifyThis'12)

Randal Bryant (1,205 words) [view diff] exact match in snippet view article find links to article

has received many recognitions for his research on hardware and software verification as well as algorithms and computer architecture. His 1986 paper

BLAST model checker (386 words) [view diff] exact match in snippet view article find links to article

The Berkeley Lazy Abstraction Software verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the

Development testing (832 words) [view diff] exact match in snippet view article find links to article

unit testing, code coverage analysis, traceability, and other software verification practices. Development testing is performed by the software developer

CPAchecker (389 words) [view diff] exact match in snippet view article find links to article

CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs. Some of its ideas and concepts, for example

KeY (1,888 words) [view diff] case mismatch in snippet view article find links to article

Reiner; Schmitt, Peter H.; Ulbrich, Mattias, eds. (2016). "Deductive Software Verification – The KeY Book". Lecture Notes in Computer Science. doi:10.1007/978-3-319-49812-6

Graph rewriting (1,815 words) [view diff] exact match in snippet view article find links to article

ranging from software engineering (software construction and also software verification) to layout algorithms and picture generation. Graph transformations

Critical Software (396 words) [view diff] exact match in snippet view article find links to article

infrastructure, systems integration, business intelligence, independent software verification & validation, UxD, AI, digital transformation and smart meter testing

AbsInt (1,347 words) [view diff] no match in snippet view article find links to article

Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide

List of tools for static code analysis (1,197 words) [view diff] exact match in snippet view article find links to article

11) No; proprietary — C, C++ — — — — — Multi-language tool for software verification. Applications range from coding rule validation, to automatic generation

Lean (proof assistant) (1,513 words) [view diff] exact match in snippet view article

cited for its "significant impact on mathematics, hardware and software verification, and AI". The official lean package includes a standard library

E. Allen Emerson (687 words) [view diff] exact match in snippet view article find links to article

hardware industry and is beginning to show significant promise also in software verification and other areas. Emerson died at his home in Austin on October 15

Static program analysis (1,924 words) [view diff] case mismatch in snippet view article find links to article

D’Silva; et al. (2008). "A Survey of Automated Techniques for Formal Software Verification" (PDF). Transactions On CAD. Archived (PDF) from the original on

Infer Static Analyzer (780 words) [view diff] case mismatch in snippet view article find links to article

Purbrick, Jim; Rodriguez, Dulma (27 April 2015). "Moving Fast with Software Verification". NASA Formal Methods. Lecture Notes in Computer Science. Vol. 9058

Mary L. Cleave (1,063 words) [view diff] exact match in snippet view article find links to article

astronaut in May 1980. Her technical assignments included: flight software verification in the Shuttle Avionics Integration Laboratory (SAIL); CAPCOM on

EROS (microkernel) (1,571 words) [view diff] exact match in snippet view article

isolation and security has been definitively achieved by applying software verification techniques. The L4.sec system, which is a successor to the L4 microkernel

Gerard J. Holzmann (496 words) [view diff] exact match in snippet view article find links to article

Engineering in 2005 for the creation of model-checking systems for software verification. In 2011 he was inducted as a Fellow of the Association for Computing

Kathryn C. Thornton (1,281 words) [view diff] exact match in snippet view article find links to article

astronaut in July 1985. Her technical assignments have included flight software verification in the Shuttle Avionics Integration Laboratory (SAIL), serving as

Control-flow diagram (589 words) [view diff] case mismatch in snippet view article find links to article

Dolores R. Wallace et al. (1996). Reference Information for the Software Verification and Validation Process Archived 2008-10-11 at the Wayback Machine

Steven Lindsey (1,262 words) [view diff] exact match in snippet view article find links to article

for flight assignment as a pilot. Initially assigned to flight software verification in the Shuttle Avionics Integration Laboratory (SAIL), Lindsey also

Claude Nicollier (1,275 words) [view diff] exact match in snippet view article find links to article

technical assignments in the Astronaut Office have included flight software verification in the Shuttle Avionics Integration Laboratory (SAIL), participation

C Bounded Model Checker (740 words) [view diff] case mismatch in snippet view article find links to article

the first such tool. CBMC has participated in the Competition on Software Verification (SV-COMP) in the years 2014–2022. It came in first in at least one

Peter Wisoff (998 words) [view diff] exact match in snippet view article find links to article

include: spacecraft communicator (CAPCOM) in Mission Control; flight software verification in the Shuttle Avionics Integration Laboratory (SAIL); coordinating

Richard M. Linnehan (1,031 words) [view diff] exact match in snippet view article find links to article

a mission specialist. Linnehan was initially assigned to flight software verification in the Shuttle Avionics Integration Laboratory (SAIL). He was subsequently

E (theorem prover) (937 words) [view diff] exact match in snippet view article

iProver. Applications of E include reasoning on large ontologies, software verification, and software certification. Schulz, Stephan (2002). "E – A Brainiac

Jean-François Clervoy (1,220 words) [view diff] exact match in snippet view article find links to article

qualifications. In between his space flights, Clervoy was assigned as flight software verification lead in the Shuttle Avionics Integration Laboratory (SAIL) and as

Todd Millstein (290 words) [view diff] exact match in snippet view article find links to article

was advised by Craig Chambers. His research focus primarily spans software verification and reliability. He has published more than 100 original technical

DVD-RAM (2,219 words) [view diff] exact match in snippet view article find links to article

the drive, so post-write verification by software is unnecessary. Software verification is disabled in all current DVD Video Recorders. Disc defect management

Database (9,882 words) [view diff] exact match in snippet view article find links to article

are used to restore that state. Static analysis techniques for software verification can be applied also in the scenario of query languages. In particular

Validation (drug manufacture) (3,005 words) [view diff] no match in snippet view article

"verification" and "validation" interchangeably, or in some cases refer to software "verification, validation, and testing (VV&T)" as if it is a single concept, with

Certification Authorities Software Team (711 words) [view diff] case mismatch in snippet view article find links to article

Complete Software Verification Processes Status: Superseded by CAST 11A 2002 CAST-11A Criteria for Assuring Continuous and Complete Software Verification Processes

IEEE Standards Association (2,518 words) [view diff] case mismatch in snippet view article find links to article

1044.1 Standard Classification for Software Anomalies IEEE 1059 Software Verification And Validation Plan IEEE 1073 Point of Care Medical Device Communication

TeraGrid (1,304 words) [view diff] no match in snippet view article find links to article

Toolkit, Condor, distributed accounting and account management software, verification and validation software, and a set of compilers, programming tools

Steven R. Nagel (1,329 words) [view diff] exact match in snippet view article find links to article

(CAPCOM) for STS-2; support crew and primary entry CAPCOM for STS-3; software verification at the Shuttle Avionics Integration Laboratory (SAIL) and the Flight

Sherwood C. Spring (884 words) [view diff] exact match in snippet view article find links to article

astronaut in May 1980. His technical assignments have included software verification at the Shuttle Avionics Integration Laboratory and Flight Simulation

Michael L. Gernhardt (1,544 words) [view diff] exact match in snippet view article find links to article

August 1992. His technical assignments to date include: Flight software verification in the Shuttle Avionics Integration Laboratory (SAIL) Development

Rice's theorem (1,712 words) [view diff] exact match in snippet view article find links to article

the hypothetical semantics of the program. In terms of general software verification, this means that although one cannot algorithmically check whether

Medical software (2,013 words) [view diff] case mismatch in snippet view article find links to article

Regulations and Why You Should Validate Software Anyway". Medical Device Software Verification, Validation, and Compliance. Boston, MA: Artech House. pp. 27–36

Ronald M. Sega (1,744 words) [view diff] exact match in snippet view article find links to article

Astronaut Office Mission Development Branch supporting Orbiter software verification in the Shuttle Avionics Integration Laboratory (SAIL) Chief of Astronaut

David M. Walker (astronaut) (1,249 words) [view diff] exact match in snippet view article

Director of Flight Crew Operations in 1981; a chase pilot on STS-1; software verification at the Shuttle Avionics Integration Laboratory (SAIL); mission support

Public-domain software (4,045 words) [view diff] no match in snippet view article find links to article

literary works. In the 1980s, a common way to share public-domain software[verification needed] was by receiving them through a local user group or a company

Daniel Kroening (589 words) [view diff] case mismatch in snippet view article find links to article

POPL 2013: 143-154. A Survey of Automated Techniques for Formal Software Verification, D’Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg, IEEE

Satisfiability modulo theories (4,371 words) [view diff] exact match in snippet view article find links to article

fragments by searching over the space of possible programs. Outside of software verification, SMT solvers have also been used for type inference and for modelling

Tracy Caldwell Dyson (2,441 words) [view diff] exact match in snippet view article find links to article

Astronaut Shuttle Operations Branch and was assigned to flight software verification in the Shuttle Avionics Integration Laboratory and worked supporting

Richard A. Searfoss (1,489 words) [view diff] exact match in snippet view article find links to article

crew egress after landing. He was subsequently assigned to flight software verification in the Shuttle Avionics Integration Laboratory (SAIL). Additionally

Proof compression (870 words) [view diff] no match in snippet view article find links to article

Strichman, O. Linear-time Reductions of Resolution Proofs. Hardware and Software: Verification and Testing, p. 114–128, Springer, 2011. "Skeptik/Doc/Papers/LUniv

Boolean satisfiability problem (4,824 words) [view diff] exact match in snippet view article find links to article

SAT solvers are also having significant impact on the fields of software verification, constraint solving in artificial intelligence, and operations research

David C. Hilmers (1,159 words) [view diff] exact match in snippet view article find links to article

upper stages such as PAM, IUS, and Centaur, as well as Shuttle software verification at the Shuttle Avionics Integration Laboratory (SAIL). In addition

David C. Hilmers (1,159 words) [view diff] exact match in snippet view article find links to article

upper stages such as PAM, IUS, and Centaur, as well as Shuttle software verification at the Shuttle Avionics Integration Laboratory (SAIL). In addition

Wendy B. Lawrence (1,286 words) [view diff] exact match in snippet view article find links to article

technical assignments within the Astronaut Office have included flight software verification in the Shuttle Avionics Integration Laboratory (SAIL), Astronaut

Leroy Chiao (2,418 words) [view diff] exact match in snippet view article find links to article

specialist. His technical assignments included: Space Shuttle flight software verification in the Shuttle Avionics Integration Laboratory (SAIL); crew equipment

L4 microkernel family (4,004 words) [view diff] exact match in snippet view article find links to article

deployment of seL4. The researchers state that the cost of formal software verification is lower than the cost of engineering traditional "high-assurance"

Linda M. Godwin (1,964 words) [view diff] exact match in snippet view article find links to article

1986. Her technical assignments have included working with flight software verification in the Shuttle Avionics Integration Laboratory (SAIL), and coordinating

First-order logic (12,955 words) [view diff] exact match in snippet view article find links to article

their correctness can be checked both by hand and through automated software verification. This validation of the proof verifier is needed to give confidence

DO-178C (2,640 words) [view diff] exact match in snippet view article find links to article

category, not guidance. Chapter 6.1 defines the purpose for the software verification process. DO-178C adds the following statement about the Executable

Opteron (4,916 words) [view diff] exact match in snippet view article find links to article

Elevated processor temperatures Elevated ambient temperatures A software verification tool for identifying the AMD Opteron processors listed in the above

Jon McBride (1,849 words) [view diff] exact match in snippet view article find links to article

lead chase pilot for the maiden voyage of Space Shuttle Columbia, software verification in the Shuttle Avionics Integration Laboratory, capsule communicator

CodePeer (285 words) [view diff] case mismatch in snippet view article find links to article

"AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway". Retrieved 4 June 2015. Walsh, Trudy. "CodePeer

Andrew Martin (computer scientist) (206 words) [view diff] case mismatch in snippet view article

Software Engineer. After his DPhil, he became Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia. Before

Boeing Starliner (9,041 words) [view diff] exact match in snippet view article find links to article

7, 2020). "NASA, Boeing managers admit problems with Starliner software verification". Spaceflight Now. Archived from the original on May 31, 2023. Retrieved

FDR (software) (349 words) [view diff] exact match in snippet view article

Havelund, John Penix, Willem Visser (editors), SPIN model checking and software verification, Springer-Verlag, Lecture Notes in Computer Science, Volume 1885

Anna Lee Fisher (6,160 words) [view diff] exact match in snippet view article find links to article

requirements and procedures for ascent, in-orbit, and Canadarm (RMS) software verification. Fisher was a "Cape Crusader"—one of the astronauts who supported

Alt-Ergo (419 words) [view diff] exact match in snippet view article find links to article

SMT solver for software verification

Pharmacy automation (2,705 words) [view diff] exact match in snippet view article find links to article

millennium technical advances allowed the design of counters with a software verification system. With an onboard computer, displaying photo images of medications

Helmut Veith (630 words) [view diff] exact match in snippet view article find links to article

software technology and engineering, focusing on model checking, software verification and testing, embedded software and computer security. Veith was

CryptoVerif (103 words) [view diff] exact match in snippet view article find links to article

Software tool for software verification

Symbolic artificial intelligence (11,032 words) [view diff] exact match in snippet view article find links to article

of problems in the areas of bioinformatics, control engineering, software verification and adaptation, visual intelligence, ontology learning, and computer

Javier Esparza (computer scientist) (803 words) [view diff] exact match in snippet view article

to automata theory (coauthored with Michael Blondin.) Multiple software verification tools have been developed by his group, such as Moped and jMoped

AltaRica (3,055 words) [view diff] exact match in snippet view article find links to article

extensively studied by the LaBRI's team working of the formal methods for software verification, structured programming taking inspiration of the modeling language

Boolean satisfiability algorithm heuristics (1,721 words) [view diff] exact match in snippet view article find links to article

from many practical problems in AI planning, circuit testing, and software verification. Research on constructing efficient SAT solvers has been based on

Ehud Shapiro (4,287 words) [view diff] case mismatch in snippet view article find links to article

computation." Nature 419.6905 (2002): 343-343. Ciobanu, Gabriel (2004). "Software Verification of Biomolecular Systems". Modelling in Molecular Biology. Natural

Linear time property (1,992 words) [view diff] case mismatch in snippet view article find links to article

Weissenbacher, Georg (2008). "A Survey of Automated Techniques for Formal Software Verification". IEEE Transactions on Computer-Aided Design of Integrated Circuits

Aarti Gupta (computer scientist) (310 words) [view diff] case mismatch in snippet view article

Yang, Z.; Gupta, A.; Shlyakhter, I.; Ashar, P. (2005). "F-Soft: Software Verification Platform". International Conference on Computer Aided Verification

Kenneth L. McMillan (572 words) [view diff] case mismatch in snippet view article find links to article

Clause Solvers for Program Verification". Horn Clause Solvers for Software Verification. Lecture Notes in Computer Science. Vol. II. pp. 24–51. doi:10

Maarten van Emden (417 words) [view diff] exact match in snippet view article find links to article

logical semantics of logic programming. He further researched on software verification and correctness, and constraint satisfaction, along with interval

David Hoag (642 words) [view diff] exact match in snippet view article find links to article

Apollo missions. This comprised 12 missions, 6 being moon landings. Software verification was aided by the development of both digital and hybrid simulators

RecycleUnits (1,627 words) [view diff] no match in snippet view article find links to article

; Shacham, O.; Strichman, O. Linear-time Reductions of Resolution Proofs. Hardware and Software: Verification and Testing, p. 114–128, Springer, 2011.

Todd Austin (1,021 words) [view diff] exact match in snippet view article find links to article

interests include robust and secure system design, hardware and software verification, and performance analysis tools and techniques. He currently holds

IMDEA Software Institute (1,734 words) [view diff] case mismatch in snippet view article find links to article

Retrieved 2025-06-11. "Type and Proof Structures for Concurrent Software Verification | Mathador | Projekt | Fact Sheet | H2020". CORDIS | European Commission

D. Richard Kuhn (2,051 words) [view diff] exact match in snippet view article find links to article

before joining NIST as a guest researcher focused on access control, software verification, and software assurance. In 1992, Kuhn and David Ferraiolo introduced