„Program verification“

Suchergebnisse

1.065 Treffer

• Practical verification of decision-making in agent-based autonomous systems
  Dennis, Louise A. ; Fisher, Michael ; Lincoln, Nicholas K. ; Lisitsa, Alexei ; Veres, Sándor M.
• Theoretical Aspects of Computing – ICTAC 2011 – 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer Berlin Heidelberg
• Static analysis – 18th international symposium ; proceedings
  Yahav, Eran 2011 Springer
• Theoretical aspects of computing 8th international colloquium ; proceedings
  Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer
• Exploiting transition locality in automatic verification of finite-state concurrent systems
  Della Penna, Giuseppe ; Intrigila, Benedetto ; Melatti, Igor ; Tronci, Enrico ; Venturini Zilli, Marisa
• A symbolic manipulator for automated verification of reactive systems with heterogeneous data types
  Yavuz-Kahveci, Tuba ; Bultan, Tevfik
• Efficient verification of timed automata with BDD-like data structures
  Wang, Farn
• Automated deduction – proceedings
  Bjørner, Nikolaj ; Sofronie-Stokkermans, Viorica 2011 Springer
• Automata, languages and programming
  2011 Springer
• Tests and proofs – 5th international conference ; proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer
• A verification approach to applied system security
  Brucker, Achim D. ; Wolff, Burkhart
• Formal verification of fault tolerance in safety-critical reconfigurable modules
  Hammarberg, Jerker ; Nadjm-Tehrani, Simin
• Live sequence charts applied to hardware requirements specification and verification – A VCI bus interface model
  Bunker, Annette ; Gopalakrishnan, Ganesh ; Slind, Konrad
• Functional programming languages for verification tools: a comparison of Standard ML and Haskell
  Leucker, Martin ; Noll, Thomas ; Stevens, Perdita ; Weber, Michael
• A survey of recent advances in SAT-based formal verification
  Prasad, Mukul R. ; Biere, Armin ; Gupta, Aarti
• Are BDDs still alive within sequential verification?
  Cabodi, Gianpiero ; Nocco, Sergio ; Quer, Stefano
• Models in software engineering – workshops and symposia at MODELS 2010, Olso, Norway, October 3 - 8, 2010 ; reports and revised selected papers
  Dingel, Jürgen ; Solberg, Arnor 2011 Springer
• Foundations of computer software – modeling, development, and verification of adaptive systems ; revised selected papers
  Calinescu, Radu C. ; Jackson, Ethan 2011 Springer
• BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
  Fortin, Jean ; Gava, Frédéric
• Contract-based verification of MATLAB-style matrix programs
  Wiik, Jonatan ; Boström, Pontus