TASS: the toolkit for accurate scientific software

DOI10.1007/s11786-011-0100-7zbMath1264.68113OpenAlexW2015321775MaRDI QIDQ1949767

Stephen F. Siegel, Timothy K. Zirkel

Publication date: 16 May 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0100-7

zbMATH Keywords

verificationmodel checkingparallel programmingsymbolic executionfunctional equivalence

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical approximation and computational geometry (primarily algorithms) (65D99)

Related Items (6)

Loop Invariant Symbolic Execution for Parallel Programs ⋮ Refined mathematical model of economic dynamics under high inflation and unstable development ⋮ TASS: the toolkit for accurate scientific software ⋮ Dynamic symbolic verification of MPI programs ⋮ Branch-locking AD techniques for nonsmooth composite functions and nonsmooth implicit functions ⋮ TASS_

Uses Software

• TVOC
• BLAST
• KRAKATOA
• SPIN
• Why3
• Caduceus
• cvc3
• KLEE
• ISP
• Bogor
• Bandera
• KLEE-FP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive versions of Tarski's fixed point theorems
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• TASS: the toolkit for accurate scientific software
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• Collective Assertions
• Symbolic execution and program testing
• Designing Software for Ease of Extension and Contraction
• Abstract Interpretation Frameworks
• Programming Languages and Systems
• Model Checking Nonblocking MPI Programs
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Multi-Prover Verification of Floating-Point Programs

This page was built for publication: TASS: the toolkit for accurate scientific software