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 34 articles )

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

1 2 next

  1. Wang, Timothy; Jobredeaux, Romain; Pantel, Marc; Garoche, Pierre-Loic; Feron, Eric; Henrion, Didier: Credible autocoding of convex optimization algorithms (2016)
  2. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  3. Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
  4. Methni, Amira; Lemerre, Matthieu; Ben Hedia, Belgacem; Haddad, Serge; Barkaoui, Kamel: Specifying and verifying concurrent C programs with TLA+ (2015) ioport
  5. Åström, Karl J.; Kumar, P.R.: Control: a perspective (2014)
  6. 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)
  7. Almeida, J.Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  8. 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)
  9. Barros, José Bernardo; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa: Assertion-based slicing and slice graphs (2012)
  10. Hatcliff, John; Leavens, Gary T.; Leino, K.Rustan M.; Müller, Peter; Parkinson, Matthew: Behavioral interface specification languages (2012)
  11. Leino, K.Rustan M.; Yessenov, Kuat: Stepwise refinement of heap-manipulating code in Chalice (2012)
  12. Almeida, José Bacelar; Frade, Maria João.; Sousa Pinto, Jorge; Melo de Sousa, Simão: Rigorous software development. An introduction to program verification. (2011)
  13. Anureev, I.S.: Integrated approach to analysis and verification of imperative programs (2011)
  14. Boldo, Sylvie; Marché, Claude: Formal verification of numerical programs: from C annotated programs to mechanical proofs (2011)
  15. Frade, Maria João; Pinto, Jorge Sousa: Verification conditions for source-level imperative programs (2011)
  16. Moy, Yannick; Marché, Claude: Modular inference of subprogram contracts for safety checking (2010)
  17. Haskins, Mark; Pacini, Tommaso: Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem (2006)
  18. Qin, Guangping; Wu, Jinzhao: Branching time equivalences for interactive Markov chains (2004)
  19. Soriano, Javier; Alonso, Fernando; López, Genoveva: A formal specification language for agent conversations (2003)
  20. Margolis, Donald; Shim, Taehyun: A bond graph model incorporating sensors, actuators, and vehicle dynamics for developing controllers for vehicle safety (2001)

1 2 next