ACSL

The Advanced Continuous Simulation Language, or ACSL (pronounced ”axle”), is a computer language designed for modelling and evaluating the performance of continuous systems described by time-dependent, nonlinear differential equations. It is a dialect of the Continuous System Simulation Language (CSSL), originally designed by the Simulations Council Inc (SCI) in 1967 in an attempt to unify the continuous simulations field. (Wikipedia)


References in zbMATH (referenced in 38 articles )

Showing results 1 to 20 of 38.
Sorted by year (citations)

1 2 next

  1. Belo Lourenço, Cláudio; João Frade, Maria; Sousa Pinto, Jorge: Formalizing single-assignment program verification: an adaptation-complete approach (2016)
  2. Wang, Timothy; Jobredeaux, Romain; Pantel, Marc; Garoche, Pierre-Loic; Feron, Eric; Henrion, Didier: Credible autocoding of convex optimization algorithms (2016)
  3. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  4. Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
  5. Methni, Amira; Lemerre, Matthieu; Ben Hedia, Belgacem; Haddad, Serge; Barkaoui, Kamel: Specifying and verifying concurrent C programs with TLA+ (2015) ioport
  6. Åström, Karl J.; Kumar, P.R.: Control: a perspective (2014)
  7. Boldo, Sylvie; Clément, François; Filli^atre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre: Trusting computations: a mechanized proof from partial differential equations to actual program (2014)
  8. Almeida, J.Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  9. Boldo, Sylvie; Clément, François; Filli^atre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre: Wave equation numerical resolution: a comprehensive mechanized proof of a C program (2013)
  10. Barros, José Bernardo; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa: Assertion-based slicing and slice graphs (2012)
  11. Hatcliff, John; Leavens, Gary T.; Leino, K.Rustan M.; Müller, Peter; Parkinson, Matthew: Behavioral interface specification languages (2012)
  12. Leino, K.Rustan M.; Yessenov, Kuat: Stepwise refinement of heap-manipulating code in Chalice (2012)
  13. Almeida, José Bacelar; Frade, Maria João.; Sousa Pinto, Jorge; Melo de Sousa, Simão: Rigorous software development. An introduction to program verification. (2011)
  14. Anureev, I.S.: Integrated approach to analysis and verification of imperative programs (2011)
  15. Boldo, Sylvie; Marché, Claude: Formal verification of numerical programs: from C annotated programs to mechanical proofs (2011)
  16. Frade, Maria João; Pinto, Jorge Sousa: Verification conditions for source-level imperative programs (2011)
  17. Tafat, Asma; Boulmé, Sylvain; Marché, Claude: A refinement methodology for object-oriented programs (2011)
  18. Moy, Yannick; Marché, Claude: Modular inference of subprogram contracts for safety checking (2010)
  19. Haskins, Mark; Pacini, Tommaso: Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem (2006)
  20. Qin, Guangping; Wu, Jinzhao: Branching time equivalences for interactive Markov chains (2004)

1 2 next