Classes
- Advanced Tools for Software Development and MonitoringNSWI126 | Faculty of Mathematics and Physics
- Commercial WorkshopsNSWI133 | Faculty of Mathematics and Physics
- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
- Formal Foundations of Software EngineeringNTIN043 | Faculty of Mathematics and Physics
Publications
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework2010 | Faculty of Mathematics and Physics
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Specification and Generation of Environment for Model Checking of Software Components2007 | Faculty of Mathematics and Physics
- COMBAT: Component Behavior Analysis ToolsetPublication without faculty affiliation
- Heuristic Reduction of Parallelism in Component EnvironmentPublication without faculty affiliation
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
Loading network view...