Automated continuous verification for numerical simulation

Automated continuous verification for numerical simulation

Bibliographic Details
Main Authors:	Farrell, P, Piggott, MD, Gorman, G, Ham, D, Wilson, C, Bond, T
Format:	Journal article
Published:	2011

Similar Items

Spud 1.0: generalising and automating the user interfaces of scientific computer models
by: Ham, D, et al.
Published: (2009)

Conservative interpolation between unstructured meshes via supermesh construction
by: Farrell, P, et al.
Published: (2009)

Anisotropic mesh adaptivity for multi-scale ocean modelling
by: Piggott, MD, et al.
Published: (2009)

Numerical simulation & experimental verification of structural responses
by: Fan, Sau Cheong, et al.
Published: (2008)

Simulating cardiac electrophysiology using anisotropic mesh adaptivity
by: Southern, J, et al.
Published: (2010)

Parallel anisotropic mesh adaptivity with dynamic load balancing for cardiac electrophysiology
by: Southern, J, et al.
Published: (2012)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)

Automated Verification Techniques for Probabilistic Systems.
by: Forejt, V, et al.
Published: (2011)

Automated Verification of Shape and Size
by: Nguyen, Huu Hai, et al.
Published: (2007)

Automated quantitative software verification
by: Kattenbelt, M
Published: (2010)

On automated verification of probabilistic programs
by: Legay, A, et al.
Published: (2008)

The automated verification of timewise refinement
by: Roscoe, A
Published: (2013)

Automated verification of group key agreement protocols
by: Schmidt, B, et al.
Published: (2014)

Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
by: Lynch, Nancy A.
Published: (2023)

Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009)

Hybrid OpenMP/MPI Anisotropic Mesh Smoothing
by: Gorman, G, et al.
Published: (2012)

A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008)

Numerical simulation of nonlinear continuity equations by evolving diffeomorphisms
by: Carrillo, JA, et al.
Published: (2016)

Code generation for productive, portable, and scalable finite element simulation in Firedrake
by: Betteridge, J, et al.
Published: (2021)

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Electronic design automation : synthesis, verification, and test /
by: Wang, Laung-Terng, et al.
Published: (2009)

Improving automated protocol verification: real world cryptography
by: Jackson, D
Published: (2020)

Automated Model−based Verification of Object−Oriented Code
by: Ostroff, J, et al.
Published: (2006)

Automated Model−Based Verification of Object−Oriented Code
by: Ostroff, J, et al.
Published: (2006)

Anisotropic mesh adaptivity for cardiac electrophysiology
by: Southern, J, et al.
Published: (2010)

Verification of tree induced suction with numerical model
by: Mohd Fakhrurrazi, Ishak, et al.
Published: (2021)

Automated verification of code automatically generated from Simulink (R)
by: O'Halloran, C
Published: (2013)

Automated verification of model-based programs under uncertainty
by: Mahtab, Tazeen, 1981-
Published: (2005)

Automated software verification through empirical-based methods
by: Asim Saghir Sheikh.
Published: (2008)

Automated design and verification of localized DNA computation circuits
by: Boemo, M, et al.
Published: (2015)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, N, et al.
Published: (2019)

jStar−eclipse: an IDE for automated verification of Java programs
by: Naudziuniene, D, et al.
Published: (2011)

Thermal management of Dell Precision 470 pc casing : a numerical simulation and experimental verification /
by: Mohd. Ashraf Baharudin, 1985-, et al.
Published: (2008)

Numerical analytic continuation
by: Trefethen, LN
Published: (2023)

Production automation and numerical control/
by: 234430 Leone, W. C.
Published: (1967)

Verification of numerical procedures for the analysis of soil liquefaction problems /
by: International Conference on the Verification of Numerical Procedures for the Analysis of Soil Liquefaction Problems (1993 : Davis, California), et al.
Published: (1993)

A POD reduced order unstructured mesh ocean modelling method for moderate Reynolds number flows
by: Fang, F, et al.
Published: (2009)

A POD reduced-order 4D-Var adaptive mesh ocean modelling approach
by: Fang, F, et al.
Published: (2009)