Sequentially constructive model of computation
作者： Stephen R. Mercer , Owen B. O'Brien , Reinhard von Hanxleden , Michael Mendler
DOI:
关键词:
摘要: System and method for validating a program under specified model of computation. The computation may be related to the synchronous statechart A received that specifies plurality operations using variable within logical tick such has multiple values tick. statically analyzed according execution based on ticks, which include determining deterministic semantics specify results each during program, including specifying performed validated in accordance with response determining. Such techniques allow validation larger set programs than conventional models while maintaining results.
lens.org 参考文章(32)
Patrick Sathyanathan, John Lin, Andrew Ayers, Concurrent code generation ,(2008)
David Crocker, Process and system for validating a computer program segment ,(2002)
Bruce Hamilton, User-specified semantics for parallel operations with a time-explicit programming language ,(2007)
Robert S. Howard, Michelle C. Howard, System and Method of Automatically Transforming Serial Streaming Programs Into Parallel Streaming Programs ,(2010)
Renaud Marlet, Eric Résidence Garbejaire Bât Vetillard, Method for determining operational characteristics of a program ,(2004)
John J. Danahy, Chris Rehbein, John Peyton, Ryan James Berg, Larry Rose, Robert Gottlieb, Method and system for detecting vulnerabilities in source code ,(2004)
Steven R. Hollasch, Shobana M. Balakrishnan, Sandford L. Spinrad, System and method for statically checking source code ,(2003)
Diederik Verkest, Johan Cockx, Concurrent timed digital system design method and environment ,(2000)
Omer Tripp, Marco Pistoia, Static analysis of computer software applications ,(2011)
Akash Lal, Saurabh Joshi, Shuvendu K. Lahiri, Reducing false alarms for static analysis of concurrent programs ,(2011)