Formal verification of concurrent and distributed constraint-based java programs

Formal verification of concurrent and distributed constraint-based java programs

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Saved in:

書目詳細資料
Main Authors:	Ramirez, R., Santosa, A.E.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40995
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Concurrent and distributed programming using constraint logic programs
由: Ramirez, R., et al.
出版: (2013)

Declarative concurrency in Java
由: Ramirez, R., et al.
出版: (2013)

A framework for separation of concerns in concurrent programming
由: Ramirez, R., et al.
出版: (2013)

FORMAL VERIFICATION-BASED PROGRAM REPAIR
由: NGUYEN THANH TOAN
出版: (2022)

Formal approach to program verification
由: Chatchai Koetsawat
出版: (2006)

Formal approach to program verification
由: Chatchai Koetsawat
出版: (2001)

Using contracts to guide the search-based verification of concurrent programs
由: POSKITT, Christopher M., et al.
出版: (2013)

Specification and Verification of Shared-Memory Concurrent Programs
由: LE DUY KHANH
出版: (2014)

Verification of scenario constraints using java pathfinder
由: Phạm, Quang Thập
出版: (2017)

Concurrent programming made easy
由: Ramirez, Rafael, et al.
出版: (2013)

Object-Oriented Concurrent Constraint Programming in Oz
由: Smolka, Gert, et al.
出版: (2022)

Object-Oriented Concurrent Constraint Programming in Oz
由: Smolka, Gert, et al.
出版: (2021)

Unbounded symbolic execution for program verification
由: Jaffar, J., et al.
出版: (2013)

Variable permissions for concurrency verification
由: Le, D.-K., et al.
出版: (2013)

Assertion based formal verification using Jaspergold
由: Tangirala Raghavsimha
出版: (2019)

Securing smart contracts with formal verification and automated program repair
由: Tolmach, Palina
出版: (2023)

Formal verification of security protocols
由: Mok, Xin Mun
出版: (2022)

Efficient memoization for dynamic programming with ad-hoc constraints
由: Jaffar, J., et al.
出版: (2013)

Formal verification of scalable nonzero indicators
由: Zhang, S.J., et al.
出版: (2013)

Formal verification of scalable nonzero indicators
由: SUN, Jun, et al.
出版: (2009)

Specifying multithreaded Java semantics for program verification
由: Roychoudhury, A., et al.
出版: (2013)

Formal semantics and verification for feature modeling
由: Sun, J., et al.
出版: (2013)

Formal modelling and verification on Android platform
由: Lim, Jolene Yu Han
出版: (2014)

Complementary formalisms - synthesis, verification and visualization
由: SUN JUN
出版: (2010)

Unfold/fold transformations for automated verification of parameterized concurrent systems
由: Roychoudhury, A., et al.
出版: (2013)

Towards practical graph-based verification for an object-oriented concurrency model
由: HEUßNER, Alexander, et al.
出版: (2015)

Leveraging Applications of Formal Methods, Verification and Validation
由: Tiziana Margaria, Bernhard Steffen
出版: (2017)

Tools and verification techniques for integrated formal methods
由: SUN JING
出版: (2010)

Fuzzy-set-based approach for concurrent constraint set-up planning
由: Ong, S.K., et al.
出版: (2014)

QVIP: An ILP-based formal verification approach for quantized neural networks
由: ZHANG, Yedi, et al.
出版: (2022)

Formalizing constraints in quality process language
由: Tanael, Anna Liza B.
出版: (2005)

A survey of smart contract formal specification and verification
由: Tolmach, Palina, et al.
出版: (2022)

Towards formal modelling and verification of pervasive computing systems
由: LIU, Yan, et al.
出版: (2014)

A formal specification and verification framework for timed security protocols
由: Li, Li, et al.
出版: (2020)

Formalizing UML state machines for automated verification: A survey
由: ETIENE, Andre, et al.
出版: (2023)

A formal specification and verification framework for timed security protocols
由: LI, Li, et al.
出版: (2018)

Design and implementation of formal verification methodology using Boolean satisfiability
由: Phone, Thet Khaing.
出版: (2011)

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

vTRUST: A formal modeling and verification framework for virtualization systems
由: HAO, Jianan, et al.
出版: (2013)

Separation microkernel security studies and its formal verification related work
由: Lu, Shengliang
出版: (2016)