Article

Verification of synchronous sequential machines based on symbolic execution

Authors:

O. Coudert,

C. Berthet,

J. C. MadreAuthors Info & Claims

Proceedings of the international workshop on Automatic verification methods for finite state systems

Pages 365 - 373

Published: 01 February 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Newton JVerna DVerna DCooper D(2018)Strategies for Typecase OptimizationProceedings of the 11th European Lisp Symposium on European Lisp Symposium10.5555/3323215.3323219(23-31)Online publication date: 18-Apr-2018
https://dl.acm.org/doi/10.5555/3323215.3323219
Newton JVerna DChari GBoix EMarr S(2018)Recognizing heterogeneous sequences by rational type expressionProceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection10.1145/3281074.3281077(5-14)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3281074.3281077
Howar FGiannakopoulou DMues MNavas J(2018)Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime MonitoringLeveraging Applications of Formal Methods, Verification and Validation. Verification10.1007/978-3-030-03421-4_9(120-136)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1007/978-3-030-03421-4_9
Show More Cited By

Index Terms

Verification of synchronous sequential machines based on symbolic execution

Recommendations

Sound Gradual Verification with Symbolic Execution

Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and provides earlier feedback to developers. While an abstract, weakest ...
Formal Program Verification Using Symbolic Execution

Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to ...
Verification of Synchronous Sequential Machines Based on Symbolic Execution
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the international workshop on Automatic verification methods for finite state systems

February 1990

382 pages

ISBN:0387521488

Editor:
Joseph Sifakis
LGI-IMAG, Grenoble Cedex, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 February 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

71
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Newton JVerna DVerna DCooper D(2018)Strategies for Typecase OptimizationProceedings of the 11th European Lisp Symposium on European Lisp Symposium10.5555/3323215.3323219(23-31)Online publication date: 18-Apr-2018
https://dl.acm.org/doi/10.5555/3323215.3323219
Newton JVerna DChari GBoix EMarr S(2018)Recognizing heterogeneous sequences by rational type expressionProceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection10.1145/3281074.3281077(5-14)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3281074.3281077
Howar FGiannakopoulou DMues MNavas J(2018)Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime MonitoringLeveraging Applications of Formal Methods, Verification and Validation. Verification10.1007/978-3-030-03421-4_9(120-136)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1007/978-3-030-03421-4_9
von Rhein AGrebhahn AApel SSiegmund NBeyer DBerger TBertolino ACanfora GElbaum S(2015)Presence-condition simplification in highly configurable systemsProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818779(178-188)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818779
Yang LManadhata PHorne WRao PGanapathy VWolf TMoore APrasanna V(2012)Fast submatch extraction using OBDDsProceedings of the eighth ACM/IEEE symposium on Architectures for networking and communications systems10.1145/2396556.2396594(163-174)Online publication date: 29-Oct-2012
https://dl.acm.org/doi/10.1145/2396556.2396594
Rintanen J(2008)Regression for Classical and Nondeterministic PlanningProceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence10.5555/1567281.1567405(568-572)Online publication date: 27-Jun-2008
https://dl.acm.org/doi/10.5555/1567281.1567405
Gherman VWunderlich HMascarenhas RSchloeffel JGarbers MZhou HMacii EYan ZMassoud Y(2007)Synthesis of irregular combinational functions with large don't care setsProceedings of the 17th ACM Great Lakes symposium on VLSI10.1145/1228784.1228856(287-292)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1228784.1228856
Grumberg OHeyman TSchuster A(2005)Distributed Symbolic Model Checking for μ-CalculusFormal Methods in System Design10.1007/s10703-005-1493-126:2(197-219)Online publication date: 1-Mar-2005
https://dl.acm.org/doi/10.1007/s10703-005-1493-1
Vecchié Ede Simone R(2005)Syntax-driven reachable state space construction of synchronous reactive programsProceedings of the 17th international conference on Computer Aided Verification10.1007/11513988_22(213-225)Online publication date: 6-Jul-2005
https://dl.acm.org/doi/10.1007/11513988_22
Schuele TSchneider KMalik SFix LKahng A(2004)Abstraction of assembler programs for symbolic worst case execution time analysisProceedings of the 41st annual Design Automation Conference10.1145/996566.996602(107-112)Online publication date: 7-Jun-2004
https://dl.acm.org/doi/10.1145/996566.996602
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Sound Gradual Verification with Symbolic Execution

Formal Program Verification Using Symbolic Execution

Verification of Synchronous Sequential Machines Based on Symbolic Execution

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations